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