EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (124 KB) Haehnle.pdf2.pdf (135 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA1309942
Titel Improving temporal logic tableaux using integer constrains
Autor Hähnle, Reiner
Ibens, Ortrun
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Temporal logic. Ed.: D.M. Gabbay
Verlag: Springer, Berlin
Jahr: 1994
ISBN: 3-540-58241-X
Seitenangabe: 535-539

Serie:
Lecture notes in computer science ; 827
ISSN: 0302-9743