Thomas Labisch

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- 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]