- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Bauland, M.; Schneider, T.; Schnoor, H.; Schnoor, I.; Vollmer, H.: The complexity of generalized satisfiability for linear temporal logic. In: Logical Methods in Computer Science 5 (2009), Nr. 1, S. 1-21. DOI: https://doi.org/10.2168/LMCS-5(1:1)2009
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2009
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2009
- Creator
- DOI
-
10.15488/1517
- URN
-
urn:nbn:de:101:1-2020072008530066581697
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bauland, Michael
- Schneider, Thomas
- Schnoor, Henning
- Schnoor, Ilka
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2009
Other Objects (12)
![Einfach Mathematik - Bruchrechnung, [1]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Einfach Mathematik - Bruchrechnung, [1]
Hochauflösende Auger-Spektroskopie an 79 MeV-Ar5+- [Neunundsiebzig-MeV-Ar-], 89 MeV-Ar6+ [Neunundachtzig-MeV-Ar-] und 136 MeV-Ar7+-Ionen [Hundertsechsunddreissig-MeV-Ar-Ionen] nach Anregung durch Helium
Synthese von reversiblen und kovalent-reversiblen Cysteinprotease-Inhibitoren
Taiwan - China: eine konfliktbeladene Nachbarschaft : die wirtschaftspolitischen Konsequenzen für Taiwan
Individuelle Edelmetall-Nanopartikel als optische Biosensoren für die DNA- und Protein-Analytik
Einfach Mathematik - Bruchrechnung, 2
CO2-abhängige zerebrovaskuläre Reaktivität im gesunden menschlichen Schlaf
Die Filtration von flüssigen Lebensmitteln mittels eines rotierenden Filters mit axialem Scherspalt
Meine Brüder und Schwestern im Norden
Meine Brüder und Schwestern im Norden
Thermometrische Untersuchungen zum mechanischen Verhalten von Al2O3-Keramik
Untersuchungen zu experimentellen Parainfluenzavirus-Typ-3-Infektionen bei Rindern
Einfach Mathematik - Bruchrechnung, [1]
Hochauflösende Auger-Spektroskopie an 79 MeV-Ar5+- [Neunundsiebzig-MeV-Ar-], 89 MeV-Ar6+ [Neunundachtzig-MeV-Ar-] und 136 MeV-Ar7+-Ionen [Hundertsechsunddreissig-MeV-Ar-Ionen] nach Anregung durch Helium
Synthese von reversiblen und kovalent-reversiblen Cysteinprotease-Inhibitoren
Taiwan - China: eine konfliktbeladene Nachbarschaft : die wirtschaftspolitischen Konsequenzen für Taiwan
Individuelle Edelmetall-Nanopartikel als optische Biosensoren für die DNA- und Protein-Analytik
Einfach Mathematik - Bruchrechnung, 2
CO2-abhängige zerebrovaskuläre Reaktivität im gesunden menschlichen Schlaf
Die Filtration von flüssigen Lebensmitteln mittels eines rotierenden Filters mit axialem Scherspalt
Meine Brüder und Schwestern im Norden
Meine Brüder und Schwestern im Norden
Thermometrische Untersuchungen zum mechanischen Verhalten von Al2O3-Keramik
Untersuchungen zu experimentellen Parainfluenzavirus-Typ-3-Infektionen bei Rindern
Einfach Mathematik - Bruchrechnung, [1]
Hochauflösende Auger-Spektroskopie an 79 MeV-Ar5+- [Neunundsiebzig-MeV-Ar-], 89 MeV-Ar6+ [Neunundachtzig-MeV-Ar-] und 136 MeV-Ar7+-Ionen [Hundertsechsunddreissig-MeV-Ar-Ionen] nach Anregung durch Helium
Synthese von reversiblen und kovalent-reversiblen Cysteinprotease-Inhibitoren
Taiwan - China: eine konfliktbeladene Nachbarschaft : die wirtschaftspolitischen Konsequenzen für Taiwan
Individuelle Edelmetall-Nanopartikel als optische Biosensoren für die DNA- und Protein-Analytik
Einfach Mathematik - Bruchrechnung, 2
CO2-abhängige zerebrovaskuläre Reaktivität im gesunden menschlichen Schlaf
Die Filtration von flüssigen Lebensmitteln mittels eines rotierenden Filters mit axialem Scherspalt
Meine Brüder und Schwestern im Norden
Meine Brüder und Schwestern im Norden
Thermometrische Untersuchungen zum mechanischen Verhalten von Al2O3-Keramik