M. H. van Emden

Publication Activity (10 Years)

Years Active: 1970-2019
Publications (10 Years): 3

Top Topics

Quantifier Elimination

Integer Arithmetic

Constraint Propagation

Top Venues

Sci. Comput. Program.

Publications

M. H. van Emden
Egyptian multiplication and some of its ramifications. CoRR (2019)
M. H. van Emden
Correct by construction. CoRR (2018)
M. H. van Emden
Beyond Structured Programming. CoRR (2018)
Philip Kelly, M. H. van Emden
Contributions to the compositional semantics of first-order predicate logic. CoRR (2015)
M. H. van Emden
The lambda mechanism in lambda calculus and in other calculi. CoRR (2015)
M. H. van Emden
Matrix Code. Sci. Comput. Program. 84 (2014)
M. H. van Emden
Logic programming beyond Prolog. CoRR (2014)
A. Nait Abdallah, M. H. van Emden
Constraint propagation as information maximization. Artif. Intell. 197 (2013)
A. Nait Abdallah, M. H. van Emden
Constraint Propagation as Information Maximization CoRR (2012)
Philip Kelly, M. H. van Emden
Relational Semantics for Databases and Predicate Calculus CoRR (2012)
M. H. van Emden
Discovering Algorithms with Matrix Code CoRR (2012)
Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden
Compositional Operational Semantics for Prolog Programs. New Gener. Comput. 10 (3) (1992)
M. H. van Emden
Increasing the efficiency of quicksort. Commun. ACM 13 (9) (1970)