Spelling suggestions: "subject:"fragmente"" "subject:"fragmented""
1 |
Algorithmische Eigenschaften von Branching-Time LogikenBauer, Sebastian 14 January 2007 (has links) (PDF)
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.
|
2 |
Algorithmische Eigenschaften von Branching-Time LogikenBauer, Sebastian 18 April 2006 (has links)
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.
|
Page generated in 0.0336 seconds