Statistics
Publications
1
Citations
19
H-Index
1
Active since
1987
Affiliations
Southwestern University(Current)
Alasdaire Urquhart is an author at Southwestern University specializing in theorem proving, formal proof systems, and formal methods.
Publications per year
1987–1987
1
1
Proof Theories for Semilattice Logics
Steve Giambrone, Alasdaire Urquhart · Mathematical logic quarterly · 1987 · 19 citations
1–1 of 1