Maarten H. van Emden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1976–2006
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ICLP | Compositional Semantics for the Procedural Interpretation of Logic. | Maarten H. van Emden |
| 1998 | CP | A Unified Framework for Interval Constraints and Interval Arithmetic. | Timothy J. Hickey, Maarten H. van Emden, Huan Wu |
| 1995 | ICLP | A Method for Implementing Equational Theories as Logic Programs. | Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden |
| 1990 | ICLP | On Warren's Method for Functional Programming in Logic. | Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards |
| 1988 | ICLP | Conditional Answers for Polymorphic Type Inference. | Maarten H. van Emden |
| 1987 | LICS | First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). | Maarten H. van Emden |
| 1984 | ICLP | A Logical Reconstruction of Prolog II. | Maarten H. van Emden, John W. Lloyd |
| 1982 | ICLP | An Algorithm for Interpreting Prolog Programs. | Maarten H. van Emden |
| 1976 | ICALP | Verification Conditions as Programs. | Maarten H. van Emden |