- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Alternating complexity of counting first-order logic for the subword order ; day:26 ; month:6 ; year:2022 ; pages:1-22
Acta informatica ; (26.6.2022), 1-22
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00236-022-00424-2
- URN
-
urn:nbn:de:101:1-2022081821533842956286
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 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
- Kuske, Dietrich
- Schwarz, Christian
- SpringerLink (Online service)
Other Objects (12)
Alternating complexity of counting first-order logic for the subword order
Complexity of counting first-order logic for the subword order
Die Rolle von Staphylococcus aureus Adhäsinen in der Pathogenese der infektiösen Endokarditis
Untersuchungen über die Beziehungen zwischen verschiedenen Jahresleistungen derselben Kühe beim bayerischen Höhenfleckvieh
Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbegabten : (experimentelle Unters. zur Reduktion von Komplexität bei d. Verarbeitung geometr. Muster)
Data structures and algorithms for the dynamic closest pair problem
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Mechanische Verlustmessung an Materialien für die Präzisionsmesstechnik
In-vitro- und In-vivo-Untersuchungen zum Einfluss der Keimkontamination auf den Funktionsverlust resorbierbarer chirurgischer Nahtmaterialien
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
Tagungsbericht / Conference report: "Historische Wortbildung. Theorie – Methoden – Perspektiven" (Münster, 25.–26.11.2016)
Gottesdienste zu Himmelfahrt, Pfingsten und Trinitatis
Alternating complexity of counting first-order logic for the subword order
Complexity of counting first-order logic for the subword order
Die Rolle von Staphylococcus aureus Adhäsinen in der Pathogenese der infektiösen Endokarditis
Untersuchungen über die Beziehungen zwischen verschiedenen Jahresleistungen derselben Kühe beim bayerischen Höhenfleckvieh
Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbegabten : (experimentelle Unters. zur Reduktion von Komplexität bei d. Verarbeitung geometr. Muster)
Data structures and algorithms for the dynamic closest pair problem
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Mechanische Verlustmessung an Materialien für die Präzisionsmesstechnik
In-vitro- und In-vivo-Untersuchungen zum Einfluss der Keimkontamination auf den Funktionsverlust resorbierbarer chirurgischer Nahtmaterialien
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
Tagungsbericht / Conference report: "Historische Wortbildung. Theorie – Methoden – Perspektiven" (Münster, 25.–26.11.2016)
Gottesdienste zu Himmelfahrt, Pfingsten und Trinitatis
Alternating complexity of counting first-order logic for the subword order
Complexity of counting first-order logic for the subword order
Die Rolle von Staphylococcus aureus Adhäsinen in der Pathogenese der infektiösen Endokarditis
Untersuchungen über die Beziehungen zwischen verschiedenen Jahresleistungen derselben Kühe beim bayerischen Höhenfleckvieh
Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbegabten : (experimentelle Unters. zur Reduktion von Komplexität bei d. Verarbeitung geometr. Muster)
Data structures and algorithms for the dynamic closest pair problem
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Mechanische Verlustmessung an Materialien für die Präzisionsmesstechnik
In-vitro- und In-vivo-Untersuchungen zum Einfluss der Keimkontamination auf den Funktionsverlust resorbierbarer chirurgischer Nahtmaterialien
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
Tagungsbericht / Conference report: "Historische Wortbildung. Theorie – Methoden – Perspektiven" (Münster, 25.–26.11.2016)