- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Überarbeitete Fassung von: Branislav Rovan ; Peter Vojtáš (Hrsg.): Mathematical foundations of computer science 2003 : 28th international symposium ; proceedings, Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2003, Lecture notes in computer science ; Vol. 2747, S. 460–469, ISBN: 978-3-540-40671-6, ISBN: 3-540-40671-9, ISBN: 978-3-540-45138-9, doi:10.1007/b11836
- Keyword
-
Theoretische Informatik
Kongress
Preßburg <2003>
Online-Publikation
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Universitätsbibliothek Johann Christian Senckenberg
- (when)
-
2003
- Creator
- URN
-
urn:nbn:de:hebis:30-44876
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
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
- Gramlich, Gregor
- Universitätsbibliothek Johann Christian Senckenberg
Time of origin
- 2003
Other Objects (12)
Learning communicating and nondeterministic automata
Learning communicating and nondeterministic automata
Residuality and Learning for Nondeterministic Nominal Automata
Residuality and Learning for Nondeterministic Nominal Automata
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Reduction Techniques for Nondeterministic and Probabilistic Systems
Nondeterministic versus probabilistic linear search algorithms
Fault-tolerant control of nondeterministic input-output automata
State Complexity of Basic Operations on Nondeterministic Finite Automata
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Increasing Coupling of Probabilistic Cellular Automata
Learning probabilistic automata with SMT solving
Learning communicating and nondeterministic automata
Learning communicating and nondeterministic automata
Residuality and Learning for Nondeterministic Nominal Automata
Residuality and Learning for Nondeterministic Nominal Automata
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Reduction Techniques for Nondeterministic and Probabilistic Systems
Nondeterministic versus probabilistic linear search algorithms
Fault-tolerant control of nondeterministic input-output automata
State Complexity of Basic Operations on Nondeterministic Finite Automata
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Increasing Coupling of Probabilistic Cellular Automata
Learning probabilistic automata with SMT solving
Learning communicating and nondeterministic automata
Learning communicating and nondeterministic automata
Residuality and Learning for Nondeterministic Nominal Automata
Residuality and Learning for Nondeterministic Nominal Automata
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Reduction Techniques for Nondeterministic and Probabilistic Systems
Nondeterministic versus probabilistic linear search algorithms
Fault-tolerant control of nondeterministic input-output automata
State Complexity of Basic Operations on Nondeterministic Finite Automata
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Increasing Coupling of Probabilistic Cellular Automata