Languages
Holzer, Markus.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(1998 :); Holzer, Markus.; Kutrib, Martin.; Pighizzini, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Implementation and application of automata19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
by:
(1998 :); Holzer, Markus.; Kutrib, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Data Structures.
Formal methods (Computer science)
Information Storage and Retrieval.
Formal languages
Computer Science.
Robotics
Computational Biology/Bioinformatics.