KIT | KIT-Bibliothek | Impressum | Datenschutz

Improving temporal logic tableaux using integer constrains

Hähnle, Reiner; Ibens, Ortrun

Open Access Logo


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