Improving temporal logic tableaux using integer constrains
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – 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 |