語系
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-); Martin Vide, Carlos.; Otto, Friedrich.; SpringerLink (Online service); LATA 2008 ((2008 :)
(書目-語言資料,印刷品)
Restarting automata = extensions and generalizations /
by:
Otto, Friedrich.; SpringerLink (Online service)
(書目-電子資源)
Restarting automata = the standard type of restarting automaton and its variants /
by:
Otto, Friedrich.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Machine theory
Logics and Meanings of Programs.
Mathematics of Computing.
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.