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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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