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:swb:14-1168770883767-64981
Date14 January 2007
CreatorsBauer, Sebastian
ContributorsTechnische Universität Dresden, Philosophische Fakultät, Prof. Dr. phil. habil. Heinrich Wansing, Prof. Dr. phil. habil. Heinrich Wansing, Prof. Dr. rer. nat. habil. Frank Wolter, Prof. Dr. rer. nat. habil. Marcus Kracht
PublisherSaechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
Languagedeu
Detected LanguageGerman
Typedoc-type:doctoralThesis
Formatapplication/pdf

Page generated in 0.0022 seconds