M. H. van Emden

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