The following pages link to Maarten H. Van Emden (Q1424802):
Displaying 35 items.
- (Q360047) (redirect page) (← links)
- (Q1370978) (redirect page) (← links)
- Constraint propagation as information maximization (Q360048) (← links)
- Compositional operational semantics for Prolog programs (Q1188120) (← links)
- Describing symmetrical structures in logic. (Q1353928) (← links)
- Value constraints in the CLP scheme (Q1370979) (← links)
- On the significance of digits in interval notation (Q1424803) (← links)
- Algorithmic power from declarative use of redundant constraints (Q1969732) (← links)
- Interval constraint plotting for interactive visual exploration of implicitly defined relations (Q1971100) (← links)
- Matrix Code (Q2441509) (← links)
- (Q3477990) (← links)
- Top-down semantics of fair computations of logic programs (Q3721791) (← links)
- A logical reconstruction of Prolog II (Q3725539) (← links)
- Quantitative deduction and its fixpoint theory (Q3750144) (← links)
- Logic programming with equations (Q3768368) (← links)
- (Q3862383) (← links)
- (Q3875369) (← links)
- Consequence Verification of Flowcharts (Q3893268) (← links)
- Contributions to the Theory of Logic Programming (Q3942361) (← links)
- (Q4082976) (← links)
- The Semantics of Predicate Logic as a Programming Language (Q4107888) (← links)
- (Q4164853) (← links)
- Programming with Verification Conditions (Q4178454) (← links)
- (Q4188712) (← links)
- (Q4353607) (← links)
- (Q4464691) (← links)
- (Q4702571) (← links)
- (Q4707731) (← links)
- Interval computation as deduction in chip (Q5289310) (← links)
- Compositional Semantics for the Procedural Interpretation of Logic (Q5449610) (← links)
- Increasing the efficiency of quicksort (Q5595580) (← links)
- (Q5613699) (← links)
- (Q5623595) (← links)
- (Q5632131) (← links)
- (Q5658306) (← links)
- (Q5677057) (← links)
