M. H. van Emden
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Numerical Methods and Algorithms, Formal Methods in Verification, Constraint Satisfaction and Optimization
Most-Cited Works
- → The Semantics of Predicate Logic as a Programming Language(1976)1,460 cited
- → Contributions to the Theory of Logic Programming(1982)586 cited
- → Interval arithmetic(2001)337 cited
- → Quantitative deduction and its fixpoint theory(1986)215 cited
- An analysis of complexity(1971)
- Biodiversity and global change(1994)
- → Increasing the efficiency of quicksort(1970)62 cited
- → Logic programming with equations(1987)51 cited
- → A logical reconstruction of Prolog II(1984)45 cited
- → Interval computation as deduction in chip(1993)32 cited