- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00236-022-00424-2
- URN
-
urn:nbn:de:101:1-2022081821533842956286
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:36 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
- Kuske, Dietrich
- Schwarz, Christian
- SpringerLink (Online service)
Ähnliche Objekte (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)
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Data structures and algorithms for the dynamic closest pair problem
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
Tagungsbericht / Conference report: "Historische Wortbildung. Theorie – Methoden – Perspektiven" (Münster, 25.–26.11.2016)
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
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)
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Data structures and algorithms for the dynamic closest pair problem
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
Tagungsbericht / Conference report: "Historische Wortbildung. Theorie – Methoden – Perspektiven" (Münster, 25.–26.11.2016)
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
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)
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Data structures and algorithms for the dynamic closest pair problem
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
Tagungsbericht / Conference report: "Historische Wortbildung. Theorie – Methoden – Perspektiven" (Münster, 25.–26.11.2016)
Computation of confluent hypergeometric functions and application to parabolic boundary control problems