Titel |
The complexity of hybrid logics over restricted frame classes / von Thomas Schneider |
|---|---|
Beteiligt |
Thomas Schneider (Verfasser) |
Erschienen |
Göttingen: Cuvillier |
Ausgabe |
1. Aufl. |
Umfang |
XV, 108 S. : graph. Darst. |
Hochschulschrift |
Zugl.: Jena, Univ., Diss., 2007 |
ISBN |
978-3-86727-298-8 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Entscheidungsproblem, Modallogik, Entscheidbarkeit, Komplexität, Hybridsprache, Erfüllbarkeitsproblem |
DDC-Notation |
|
Datensatz-ID |
985065753 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: