Stefan Schmitgen

According to our database1, Stefan Schmitgen authored at least 5 papers between 1988 and 1990.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
Equivalence of Propositional Prolog Programs.
J. Autom. Reason., 1990

1989
Aspekte der Aktualisierung und Pflege regelbasierter Systeme.
PhD thesis, 1989

Inconsistency of Production Systems.
Data Knowl. Eng., 1989

1988
Loop Detection in Propositional Prolog Programs.
Proceedings of the CSL '88, 1988

Prolog - Grundlagen und Anwendungen, 2. Auflage.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-12484-9, 1988


  Loading...