Travelled to:1 × Germany
1 × Israel
2 × USA
Collaborated with:∅ G.Gröger
Talks about:program (4) termin (4) proof (4) automat (2) prolog (2) predic (2) logic (2) inequ (2) nonground (1) recurs (1)
Person: Lutz Plümer
DBLP: Pl=uuml=mer:Lutz
Contributed to:
199219911990
1988Wrote 4 papers:
- JICSLP-1992-GrogerP #automation #logic programming #proving #recursion #source code #termination
- Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs (GG, LP), pp. 336–350.
- ISLP-1991-Plumer #automation #prolog #proving #source code #termination
- Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms (LP), pp. 503–517.
- CLP-1990-Plumer90 #logic programming #proving #source code #termination
- Termination Proofs for Logic Programs Based on Predicate Inequalities (LP), pp. 634–648.
- CSL-1988-Plumer #automation #prolog #proving #source code #termination
- Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs (LP), pp. 254–271.