- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2009
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2009
- Urheber
- DOI
-
10.15488/1517
- URN
-
urn:nbn:de:101:1-2020072008530066581697
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:54 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bauland, Michael
- Schneider, Thomas
- Schnoor, Henning
- Schnoor, Ilka
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2009
Ähnliche Objekte (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