Maarten van Emden
Maarten van Emden
Professor of Computer Science, University of Victoria
cs.uvic.ca üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
The semantics of predicate logic as a programming language
MH Van Emden, RA Kowalski
Journal of the ACM (JACM) 23 (4), 733-742, 1976
3155*1976
The semantics of predicate logic as a programming language
MH van Emden, RA Kowalski
JACM 23 (4), 733-743, 1976
19921976
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9091982
Interval arithmetic: From principles to implementation
T Hickey, Q Ju, MH Van Emden
Journal of the ACM (JACM) 48 (5), 1038-1068, 2001
3942001
Quantitative deduction and its fixpoint theory
MH Van Emden
The Journal of Logic Programming 3 (1), 37-53, 1986
3321986
An analysis of complexity
MH vanEmden
MC Tracts, 1975
1451975
Predicate logic as a language for parallel programming
MH van Emden, CJ Lucena
Department of Computer Science, University of Waterloo, 1979
1011979
Increasing the efficiency of quicksort
MH van Emden
Communications of the ACM 13 (9), 563-567, 1970
921970
Logic programming with equations
MH Van Emden, K Yukawa
The Journal of Logic Programming 4 (4), 265-288, 1987
841987
Programming with resolution logic
MH Van Emden
University of Waterloo. Department of Computer Science, 1975
781975
A logical reconstruction of Prolog II
MH van Emden, JW Lloyd
The Journal of Logic Programming 1 (2), 143-149, 1984
611984
On the hierarchical decomposition of complexity
MH vanEmden
Stichting Mathematisch Centrum. Rekenafdeling, 1969
541969
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
521984
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
511986
Value constraints in the CLP Scheme
MH Van Emden
Constraints 2 (2), 163-183, 1997
461997
Programming with verification conditions
MH Van Emden
IEEE Transactions on Software Engineering, 148-159, 1979
381979
Algorithmic power from declarative use of redundant constraints
MH van Emden
Constraints 4 (4), 363-381, 1999
351999
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
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
331985
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20