Media type: E-Book; Special Print Title: The complexity of generalized satisfiability for linear temporal logic Contributor: Bauland, Michael [Author]; Schneider, Thomas [Author]; Schnoor, Henning [Author]; Schnoor, Ilka [Author]; Vollmer, Heribert [Author] Published: Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2009 Hannover: Technische Informationsbibliothek (TIB), 2009 Published in: Logical Methods in Computer Science ; 5 (2009), Nr. 1, S. 1-21 Extent: 1 Online-Ressource Language: English DOI: 10.15488/1517 Identifier: Origination: Footnote: Access State: Open Access