Return to search

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.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:24981
Date18 April 2006
CreatorsBauer, Sebastian
ContributorsWansing, Heinrich, Wolter, Frank, Kracht, Marcus
PublisherTechnische Universität Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageGerman
Detected LanguageGerman
Typedoc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0013 seconds