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)
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.