Maarten van Emden
Maarten van Emden
Professor of Computer Science, University of Victoria
Verified email at cs.uvic.ca - Homepage
Title
Cited by
Cited by
Year
The semantics of predicate logic as a programming language
MH Van Emden, RA Kowalski
Journal of the ACM (JACM) 23 (4), 733-742, 1976
3177*1976
The semantics of predicate logic as a programming language
MH van Emden, RA Kowalski
JACM 23 (4), 733-743, 1976
19951976
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9081982
Interval arithmetic: From principles to implementation
T Hickey, Q Ju, MH Van Emden
Journal of the ACM (JACM) 48 (5), 1038-1068, 2001
4052001
Quantitative deduction and its fixpoint theory
MH Van Emden
The Journal of Logic Programming 3 (1), 37-53, 1986
3251986
An analysis of complexity
MH vanEmden
MC Tracts, 1975
1541975
Predicate logic as a language for parallel programming
MH van Emden, CJ Lucena
Department of Computer Science, University of Waterloo, 1979
1001979
Increasing the efficiency of quicksort
MH van Emden
Communications of the ACM 13 (9), 563-567, 1970
961970
Logic programming with equations
MH Van Emden, K Yukawa
The Journal of Logic Programming 4 (4), 265-288, 1987
781987
Programming with resolution logic
MH Van Emden
University of Waterloo. Department of Computer Science, 1975
741975
On the hierarchical decomposition of complexity
MH vanEmden
Stichting Mathematisch Centrum. Rekenafdeling, 1969
651969
A logical reconstruction of Prolog II
MH van Emden, JW Lloyd
The Journal of Logic Programming 1 (2), 143-149, 1984
601984
Interval computation as deduction in CHIP
JHM Lee, MH Van Emden
The Journal of Logic Programming 16 (3-4), 255-276, 1993
521993
An Interpreting Algorithm for Prolog Programs.
MH van Emden
Implementations of Prolog, 93-110, 1984
491984
Value constraints in the CLP Scheme
MH Van Emden
Constraints 2 (2), 163-183, 1997
461997
Spreadsheets with incremental queries as a user interface for logic programming
MH Van Emden, M Ohki, A Takeuchi
New Generation Computing 4 (3), 287-304, 1986
451986
Programming with verification conditions
MH Van Emden
IEEE Transactions on Software Engineering, 148-159, 1979
391979
A unified framework for interval constraints and interval arithmetic
TJ Hickey, MH van Emden, H Wu
International Conference on Principles and Practice of Constraint …, 1998
371998
Top-down semantics of fair computations of logic programs
MH Van Emden, MAN Abdallah
The Journal of Logic Programming 2 (1), 67-75, 1985
341985
Algorithmic power from declarative use of redundant constraints
MH van Emden
Constraints 4 (4), 363-381, 1999
311999
The system can't perform the operation now. Try again later.
Articles 1–20