Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
Synonyme wurden verwendet für: Automata theory
Suche ohne Synonyme: keywords:("Automata theory")
Verwendete Synonyme:
- automatentheorie
-
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk)
Freier ZugriffDataCite | 2014|Schlagwörter: automata theory -
An Algebraic Approach to Vectorial Programs
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Formal languages and automata theory, Automata theory -
The complexity of computing the behaviour of lattice automata on infinite trees
Freier ZugriffBASE | 2014|Schlagwörter: automata theory -
On Balanced Sequences and Their Asymptotic Critical Exponent
TIBKAT | 2021|Schlagwörter: Automatentheorie -
Finite-state techniques : automata, transducers and bimachines
TIBKAT | 2019|Schlagwörter: Automatentheorie, Transduktor (Automatentheorie) -
On the Computational Power of Programs over $$mathsf {BA}_2$$Monoid
TIBKAT | 2021|Schlagwörter: Automatentheorie -
Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle
TIBKAT | 2020|Schlagwörter: Automatentheorie -
Algorithmic Solutions via Model Theoretic Interpretations
DataCite | 2017|Schlagwörter: algorithmic ; model theory ; automata theory -
On the Size of Depth-Two Threshold Circuits for the Inner Product Mod 2 Function
TIBKAT | 2020|Schlagwörter: Automatentheorie -
On generative morphological diversity of elementary cellular automata
Emerald Group Publishing | 2010|Schlagwörter: Automata theory -
Partially Directed Animals with a Bounded Number of Holes
TIBKAT | 2021|Schlagwörter: Automatentheorie -
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata
TIBKAT | 2021|Schlagwörter: Automatentheorie -
Succinct Representations for (Non)Deterministic Finite Automata
TIBKAT | 2021|Schlagwörter: Automatentheorie
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.