Languages
Karhumaki, Juhani.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Descriptional complexity of formal systems = 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
Jurgensen, Helmut.; Karhumaki, Juhani.; Okhotin, Alexander.; SpringerLink (Online service)
(Electronic resources)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
Karhumaki, Juhani.; Salomaa, Arto.; SpringerLink (Online service)
(Language materials, printed)
Subjects
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.