KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA1309942

Improving temporal logic tableaux using integer constrains

Hähnle, Reiner; Ibens, Ortrun



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Deutsch
Identifikator ISBN: 3-540-58241-X
ISSN: 0302-9743
KITopen ID: 130994
Erschienen in Temporal logic. Ed.: D.M. Gabbay
Verlag Springer, Berlin
Seiten 535-539
Serie Lecture notes in computer science ; 827
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page