語系
Karhumaki, Juhani.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Descriptional complexity of formal systems = 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
Jurgensen, Helmut.; Karhumaki, Juhani.; SpringerLink (Online service); Okhotin, Alexander.
(書目-電子資源)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
Karhumaki, Juhani.; Salomaa, Arto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Machine theory.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Formal languages
Computer science- Mathematics.
Computer science.
Computer Science.
Discrete Mathematics in Computer Science.