- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 45th International Symposium on Mathematical Foundations of Computer Science(170)
- Event
-
Veröffentlichung
- (where)
-
Ilmenau
- (who)
-
TU Ilmenau
- (when)
-
2020
- Creator
- DOI
-
10.4230/LIPIcs.MFCS.2020.61
- URN
-
urn:nbn:de:0030-drops-127297
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
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
- TU Ilmenau
Time of origin
- 2020
Other Objects (12)
Alternating complexity of counting first-order logic for the subword order
Untersuchungen über die Beziehungen zwischen verschiedenen Jahresleistungen derselben Kühe beim bayerischen Höhenfleckvieh
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
In-vitro- und In-vivo-Untersuchungen zum Einfluss der Keimkontamination auf den Funktionsverlust resorbierbarer chirurgischer Nahtmaterialien
Data structures and algorithms for the dynamic closest pair problem
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Die Rolle von Staphylococcus aureus Adhäsinen in der Pathogenese der infektiösen Endokarditis
Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbegabten : (experimentelle Unters. zur Reduktion von Komplexität bei d. Verarbeitung geometr. Muster)
Mechanische Verlustmessung an Materialien für die Präzisionsmesstechnik
Counting and enumerating in first-order team logics
Learning Concepts Definable in First-Order Logic with Counting
Am Teufelstisch
Alternating complexity of counting first-order logic for the subword order
Untersuchungen über die Beziehungen zwischen verschiedenen Jahresleistungen derselben Kühe beim bayerischen Höhenfleckvieh
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
In-vitro- und In-vivo-Untersuchungen zum Einfluss der Keimkontamination auf den Funktionsverlust resorbierbarer chirurgischer Nahtmaterialien
Data structures and algorithms for the dynamic closest pair problem
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Die Rolle von Staphylococcus aureus Adhäsinen in der Pathogenese der infektiösen Endokarditis
Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbegabten : (experimentelle Unters. zur Reduktion von Komplexität bei d. Verarbeitung geometr. Muster)
Mechanische Verlustmessung an Materialien für die Präzisionsmesstechnik
Counting and enumerating in first-order team logics
Learning Concepts Definable in First-Order Logic with Counting
Am Teufelstisch
Alternating complexity of counting first-order logic for the subword order
Untersuchungen über die Beziehungen zwischen verschiedenen Jahresleistungen derselben Kühe beim bayerischen Höhenfleckvieh
Computation of confluent hypergeometric functions and application to parabolic boundary control problems
In-vitro- und In-vivo-Untersuchungen zum Einfluss der Keimkontamination auf den Funktionsverlust resorbierbarer chirurgischer Nahtmaterialien
Data structures and algorithms for the dynamic closest pair problem
Simulation des transienten Betriebsverhaltens von aufgeladenen Dieselmotoren
Die Rolle von Staphylococcus aureus Adhäsinen in der Pathogenese der infektiösen Endokarditis
Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbegabten : (experimentelle Unters. zur Reduktion von Komplexität bei d. Verarbeitung geometr. Muster)
Mechanische Verlustmessung an Materialien für die Präzisionsmesstechnik
Counting and enumerating in first-order team logics
Learning Concepts Definable in First-Order Logic with Counting