Media type: E-Book; Thesis Title: Definability and model checking : the role of orders and compositionality Contributor: Ganzow, Tobias [Verfasser] imprint: Aachen: Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012 Extent: Online-Ressource Language: English Identifier: Keywords: Mathematische Logik , Endliche Modelltheorie , Definierbarkeit , Model Checking , Kompositionalität ; Hochschulschrift Origination: University thesis: Aachen, Techn. Hochsch., Diss., 2011 Footnote: Access State: Open Access