Thomas Labisch

Publication Activity (10 Years)

Years Active: 1991-1993
Publications (10 Years): 0

Publications

Knut Hinkelmann, Thomas Labisch
Eine bidirektionale Maschine für die Auswertung logischer Programme. WLP (1993)
Knut Hinkelmann, Martin Harm, Thomas Labisch
Transforming Horn Clauses for Forward Reasoning. PDK (1991)