Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2559
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Göller, Stefan | de |
dc.contributor.author | Lohrey, Markus | de |
dc.date.accessioned | 2005-10-24 | de |
dc.date.accessioned | 2016-03-31T07:58:32Z | - |
dc.date.available | 2005-10-24 | de |
dc.date.available | 2016-03-31T07:58:32Z | - |
dc.date.issued | 2005 | de |
dc.identifier.other | 121681270 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-24305 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2576 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2559 | - |
dc.description.abstract | Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph definitions also allow to specify graphs of exponential size using polynomial size descriptions. In many cases, this succinctness increases the computational complexity of decision problems. In this paper, the model-checking problem for the modal $\mu$-calculus and (monadic) least fixpoint logic on hierarchically defined input graphs is investigated. In order to analyze the modal $\mu$-calculus, parity games on hierarchically defined input graphs are investigated. In most cases precise upper and lower complexity bounds are derived. A restriction on hierarchical graph definitions that leads to more efficient model-checking algorithms is presented. | en |
dc.language.iso | en | de |
dc.relation.ispartofseries | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2005,4 | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Mathematische Logik , Hierarchische Struktur | de |
dc.subject.ddc | 004 | de |
dc.title | Fixpoint logics on hierarchical structures | en |
dc.type | workingPaper | de |
dc.date.updated | 2013-07-08 | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.opusid | 2430 | de |
ubs.publikation.typ | Arbeitspapier | de |
ubs.schriftenreihe.name | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TR_2005_04.pdf | 314,05 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.