Satisfiability and model checking in team based logics

Zugl.: Hannover, Univ., Diss., 2014

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Müller, Julian-Steffen (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Göttingen Cuvillier 2014
Ausgabe:	1. Aufl.
Schlagworte:	Hochschulschrift > Erfüllbarkeitsproblem > Model Checking > Berechnungskomplexität > Prädikatenlogik > Stufe 2 > Modallogik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!