Otto, Friedrich.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
Fernau, Henning, (1965-); SpringerLink (Online service); Otto, Friedrich.; Workshop on the Preservation of Stability under Discretization ((2001 :); Martin Vide, Carlos.
(Language materials, printed)
Restarting automata = extensions and generalizations /
by:
SpringerLink (Online service); Otto, Friedrich.
(Language materials, printed)
Restarting automata = the standard type of restarting automaton and its variants /
by:
Otto, Friedrich.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Formal methods (Computer science)
Symbolic and Algebraic Manipulation.
Formal Languages and Automata Theory.
Computational Linguistics.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Formal languages
Machine theory.
Machine theory
Computation by Abstract Devices.