Year of publication
Type of material
Licence
TIB reading rooms collection
Synonyms were used for: Automata theory
Search without synonyms: keywords:("Automata theory")
Used synonyms:
- automatentheorie
-
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)
Free accessDataCite | 2014|Keywords: automata theory -
An Algebraic Approach to Vectorial Programs
Free accessDataCite | 2023|Keywords: Theory of computation → Formal languages and automata theory, Automata theory -
The complexity of computing the behaviour of lattice automata on infinite trees
Free accessBASE | 2014|Keywords: automata theory -
Finite-state techniques : automata, transducers and bimachines
TIBKAT | 2019|Keywords: Automatentheorie, Transduktor (Automatentheorie) -
On Balanced Sequences and Their Asymptotic Critical Exponent
TIBKAT | 2021|Keywords: Automatentheorie -
Algorithmic Solutions via Model Theoretic Interpretations
DataCite | 2017|Keywords: algorithmic ; model theory ; automata theory -
Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle
TIBKAT | 2020|Keywords: Automatentheorie -
On generative morphological diversity of elementary cellular automata
Emerald Group Publishing | 2010|Keywords: Automata theory -
Partially Directed Animals with a Bounded Number of Holes
TIBKAT | 2021|Keywords: Automatentheorie -
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata
TIBKAT | 2021|Keywords: Automatentheorie -
State Complexity of the Set of Synchronizing Words for Circular Automata and Automata over Binary Alphabets
TIBKAT | 2021|Keywords: Automatentheorie -
On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits
TIBKAT | 2021|Keywords: Automatentheorie
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.