Gerhard Wetzel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Executing Suspended Logic Programs. Fundam. Inform. 34(3): 203-224 (1998)

3 Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP 1996: 535

2 Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: A Theorem-Proving approach to CLP. WLP 1995: 63-72

1 Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Towards a Declarative and Efficient Glass-Box CLP Language. WLP 1994: 138-141

Selection of 4 from 8 records - Gerhard Wetzel has 5 coauthors

5		Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Executing Suspended Logic Programs. Fundam. Inform. 34(3): 203-224 (1998)
3		Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). JICSLP 1996: 535
2		Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: A Theorem-Proving approach to CLP. WLP 1995: 63-72
1		Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Towards a Declarative and Efficient Glass-Box CLP Language. WLP 1994: 138-141