Travelled to:
1 × Germany
1 × Israel
Collaborated with:
U.Griefahn ∅
Talks about:
constraint (1) interpret (1) function (1) databas (1) prolog (1) integr (1) deduct (1) evalu (1) check (1) lazi (1)
Person: Stefan Lüttringhaus
DBLP: L=uuml=ttringhaus:Stefan
Contributed to:
Wrote 2 papers:
- CLP-1990-GriefahnL90 #constraints #database #deduction #top-down
- Top-Down Integrity Constraint Checking for Deductive Databases (UG, SL), pp. 130–144.
- CSL-1988-Luttringhaus #evaluation #interpreter #lazy evaluation #prolog
- An Interpreter with Lazy Evaluation for Prolog with Functions (SL), pp. 199–225.