Author of the publication

Hyper Tableaux and Disjunctive Logic Programming.

, and . DDLP, volume 295 of GMD-Studien, page 29-43. GMD, Sankt Augustin, Germany, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Theory reasoning in connection calculi. Springer, (1998)Feedback-Arten für Online-Lernen: Das Buch. (2016)Content-Management-Systeme in e-Education, , and . Studien-Verl., Innsbruck u.a., (2004)1 - The new order of order — Gedankensplitter. (2008)Hierarchic Superposition Revisited., and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 15-56. Springer, (2019)Educating the Knowledge Worker in the Information Society: Baser - Basic Support for Efficient Research., and . Teleteaching, volume 120 of books@ocg.at, page 109-118. Austrian Computer Society, (1998)Preface., , and . J. Autom. Reason., 45 (2): 89 (2010)North Carolina COVID-19 Agent-Based Model Framework for Hospitalization Forecasting Overview, Design Concepts, and Details Protocol., , , , , , and . CoRR, (2021)The Taming of the (X)OR., and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 508-522. Springer, (2000)An Order Theory Resolution Calculus.. LPAR, volume 624 of Lecture Notes in Computer Science, page 119-130. Springer, (1992)