Otto, Friedrich.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Language and automata theory and applicationssecond international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(1998 :); Fernau, Henning, (1965-); Martin Vide, Carlos.; Otto, Friedrich.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Restarting automatathe standard type of restarting automaton and its variants /
by:
Otto, Friedrich.; SpringerLink (Online service)
(書目-電子資源)
Restarting automataextensions and generalizations /
by:
Otto, Friedrich.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Mathematics of Computing.
Machine theory
Machine theory.
Computation by Abstract Devices.
Formal methods (Computer science)
Formal languages
Formal Languages and Automata Theory.
Computational Linguistics.
Computer Science.
Symbolic and Algebraic Manipulation.