Statistics
Publications
1
Citations
112
H-Index
1
Active since
1987
Affiliations
University of Warwick(Current)
AnthonyG. Cohn is an author at University of Warwick specializing in humanities, formal methods, and partially ordered sets.
Publications per year
1987–1987
1
1
A more expressive formulation of many sorted logic
AnthonyG. Cohn · Journal of Automated Reasoning · 1987 · 112 citations
1–1 of 1