Otto, Friedrich.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Restarting automata = extensions and generalizations /
by:
SpringerLink (Online service); Otto, Friedrich.
(書目-語言資料,印刷品)
Restarting automata = the standard type of restarting automaton and its variants /
by:
Otto, Friedrich.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
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.