Thomas Labisch Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 1993

2 Knut Hinkelmann, Thomas Labisch: Eine bidirektionale Maschine für die Auswertung logischer Programme. WLP 1993: 47-50

1991

1 Knut Hinkelmann, Martin Harm, Thomas Labisch: Transforming Horn Clauses for Forward Reasoning. PDK 1991: 417-419

*	1993
2		Knut Hinkelmann, Thomas Labisch: Eine bidirektionale Maschine für die Auswertung logischer Programme. WLP 1993: 47-50
	1991
1		Knut Hinkelmann, Martin Harm, Thomas Labisch: Transforming Horn Clauses for Forward Reasoning. PDK 1991: 417-419

Coauthor Index

1 Martin Harm [1]

2 Knut Hinkelmann [1] [2]