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)
Formal languages
Symbolic and Algebraic Manipulation.
Formal Languages and Automata Theory.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computational Linguistics.
Computation by Abstract Devices.
Theory of Computation.
Machine theory.
Mathematics of Computing.
Machine theory
Computer Science.