Statistics
Publications
20
Citations
3K
H-Index
17
Active since
1970
Affiliations
M. H. van Emden is an author at University of Waterloo specializing in computer science, computing, and automated reasoning.
Publications per year
1970–2007
20
20
The Semantics of Predicate Logic as a Programming Language
M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text
Humanities, Computer Science, Logic +16
Timothy J. Hickey, Qun Ju, M. H. van Emden · Journal of the ACM · 2001 · 339 citations
Quantitative deduction and its fixpoint theory
M. H. van Emden · The Journal of Logic Programming · 1986 · 216 citations
Increasing the efficiency of quicksort
M. H. van Emden · Communications of the ACM · 1970 · 62 citations · Full text
1–5 of 20