Thomas Labisch

According to our database1, Thomas Labisch authored at least 2 papers between 1991 and 1993.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Eine bidirektionale Maschine für die Auswertung logischer Programme.
Proceedings of the 9. Workshop Logische Programmierung, 1993

1991
Transforming Horn Clauses for Forward Reasoning.
Proceedings of the Processing Declarative Knowledge, 1991


  Loading...