> Detailanzeige

Bauland, Michael [Verfasser:in]; Schneider, Thomas [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Schnoor, Ilka [Verfasser:in]; Vollmer, Heribert [Verfasser:in]

The complexity of generalized satisfiability for linear temporal logic

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Sonderdruck
  • Titel: The complexity of generalized satisfiability for linear temporal logic
  • Beteiligte: Bauland, Michael [Verfasser:in]; Schneider, Thomas [Verfasser:in]; Schnoor, Henning [Verfasser:in]; Schnoor, Ilka [Verfasser:in]; Vollmer, Heribert [Verfasser:in]
  • Erschienen: Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2009
    Hannover: Technische Informationsbibliothek (TIB), 2009
  • Erschienen in: Logical Methods in Computer Science ; 5 (2009), Nr. 1, S. 1-21
  • Umfang: 1 Online-Ressource
  • Sprache: Englisch
  • DOI: 10.15488/1517
  • Identifikator:
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang