The Complexity of the Product Logics K4xS5 and S4xS5 and of the Logic SSL of Subset Spaces

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Neubiberg, Universität der Bundeswehr München, Dissertation, 2020

Schlagwort
Logic
Modallogik ; Produktlogik ; Komplexitätstheorie ; Teilmenge ; Algorithmus ; Erfüllbarkeitsproblem ; Hochschulschrift

Ereignis
Veröffentlichung
(wo)
Neubiberg
(wer)
Universitätsbibliothek der Universität der Bundeswehr München
(wann)
2020
Urheber
Beteiligte Personen und Organisationen
Hertling, Peter
Sattler, Ulrike
Universität der Bundeswehr München, Fakultät für Informatik

URN
urn:nbn:de:bvb:706-6865
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:27 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2020

Ähnliche Objekte (12)