- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
IFIG Research Report ; 1402 / 2014
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Gießen
- (who)
-
Universitätsbibliothek
- (when)
-
2014
- URN
-
urn:nbn:de:hebis:26-opus-110573
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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
- Kutrib, Martin
- Malcher, Andreas
- Wendlandt, Matthias
- Universitätsbibliothek
Time of origin
- 2014
Other Objects (12)
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Fault-tolerant control of deterministic input/output automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Cellular Automata on Group Sets
Deterministic two-way one-head pushdown automata are very powerful
Deterministic semantics of set-oriented update sequences
Generating sets of monoids of cellular automata
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
A deterministic set of spherical points with small discrepancy
Descriptive set theoretic methods in automata theory : decidability and topological complexity
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Fault-tolerant control of deterministic input/output automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Cellular Automata on Group Sets
Deterministic two-way one-head pushdown automata are very powerful
Deterministic semantics of set-oriented update sequences
Generating sets of monoids of cellular automata
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
A deterministic set of spherical points with small discrepancy
Descriptive set theoretic methods in automata theory : decidability and topological complexity
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Fault-tolerant control of deterministic input/output automata
Constructing Deterministic Parity Automata from Positive and Negative Examples
Cellular Automata on Group Sets
Deterministic two-way one-head pushdown automata are very powerful
Deterministic semantics of set-oriented update sequences
Generating sets of monoids of cellular automata
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
A deterministic set of spherical points with small discrepancy