Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.

J. Log. Comput. Bd. 20. H. 1. 2010 S. 77 - 109

Erscheinungsjahr: 2010

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1093/logcom/exn061

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Baumgartner, Peter (Autor)
Furbach, Ulrich (Autor)
Pelzer, Björn (Autor)

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik