Follow
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
3547*1976
The semantics of predicate logic as a programming language
MH van Emden, RA Kowalski
JACM 23 (4), 733-743, 1976
22031976
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9581982
Interval arithmetic: From principles to implementation
T Hickey, Q Ju, MH Van Emden
Journal of the ACM (JACM) 48 (5), 1038-1068, 2001
4972001
Quantitative deduction and its fixpoint theory
MH Van Emden
The Journal of Logic Programming 3 (1), 37-53, 1986
3541986
An analysis of complexity
MH Van Emden
(No Title), 1971
2021971
Increasing the efficiency of quicksort
MH van Emden
Communications of the ACM 13 (9), 563-567, 1970
1071970
Predicate logic as a language for parallel programming
MH van Emden, CJ Lucena
Department of Computer Science, University of Waterloo, 1979
1011979
Logic programming with equations
MH Van Emden, K Yukawa
The Journal of Logic Programming 4 (4), 265-288, 1987
831987
Programming with resolution logic
MH Van Emden
Department of Computer Science, University of Waterloo, 1975
821975
A logical reconstruction of Prolog II
MH van Emden, JW Lloyd
The Journal of Logic Programming 1 (2), 143-149, 1984
661984
On the hierarchical decomposition of complexity
MH van Emden
Stichting Mathematisch Centrum, 1969
601969
Spreadsheets with incremental queries as a user interface for logic programming
MH Van Emden, M Ohki, A Takeuchi
New Generation Computing 4, 287-304, 1986
591986
Interval computation as deduction in CHIP
JHM Lee, MH Van Emden
The Journal of Logic Programming 16 (3-4), 255-276, 1993
561993
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, 163-183, 1997
461997
Programming with verification conditions
MH Van Emden
IEEE Transactions on Software Engineering, 148-159, 1979
411979
A unified framework for interval constraints and interval arithmetic
TJ Hickey, MH van Emden, H Wu
Principles and Practice of Constraint Programming—CP98: 4th International …, 1998
351998
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, 363-381, 1999
331999
The system can't perform the operation now. Try again later.
Articles 1–20