Algorithmische Eigenschaften von Branching-Time Logiken

Es wird die Axiomatisierbarkeit einer Klasse von temporalen Prädikatenlogiken über verzweigenden Strukturen gezeigt. Entscheidbarkeitsresultate folgen für diverse Fragmente dieser Logiken. Anwendungen werden diskutiert. Ausführliche Beschreibung

1. Verfasser:
Format: E-Book
veröffentlicht: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2007
Schlagworte:
Kein Bild verfügbar
Gespeichert in: