Maarten H. Van Emden

Available identifiers

zbMath Open van-emden.maarten-hMaRDI QIDQ1424802

List of research outcomes

Publication	Date of Publication	Type
Egyptian multiplication and some of its ramifications	2019-01-30	Paper
Matrix Code	2014-03-25	Paper
Constraint propagation as information maximization	2013-08-23	Paper
Compositional Semantics for the Procedural Interpretation of Logic	2008-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4464691	2004-05-27	Paper
On the significance of digits in interval notation	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4707731	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4702571	2002-02-21	Paper
Interval constraint plotting for interactive visual exploration of implicitly defined relations	2000-03-22	Paper
Algorithmic power from declarative use of redundant constraints	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4353607	1998-03-30	Paper
Value constraints in the CLP scheme	1997-12-11	Paper
Describing symmetrical structures in logic.	1997-05-12	Paper
Interval computation as deduction in chip	1993-08-23	Paper
Compositional operational semantics for Prolog programs	1992-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3477990	1990-01-01	Paper
Logic programming with equations	1987-01-01	Paper
Quantitative deduction and its fixpoint theory	1986-01-01	Paper
Top-down semantics of fair computations of logic programs	1985-01-01	Paper
A logical reconstruction of Prolog II	1984-01-01	Paper
Contributions to the Theory of Logic Programming	1982-01-01	Paper
Consequence Verification of Flowcharts	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3875369	1979-01-01	Paper
Programming with Verification Conditions	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4164853	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3862383	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4082976	1976-01-01	Paper
The Semantics of Predicate Logic as a Programming Language	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4188712	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5658306	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632131	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677057	1971-01-01	Paper
Increasing the efficiency of quicksort	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613699	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5623595	1969-01-01	Paper

Research outcomes over time

This page was built for person: Maarten H. Van Emden