Languages
Kutrib, Martin.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Reversible computation = 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
RC (Workshop : Reversible computation) (2023 :); Kutrib, Martin.; Meyer, Uwe.; SpringerLink (Online service)
(Electronic resources)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
Kutrib, Martin.; Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
(Electronic resources)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
Bordihn, Henning.; Kutrib, Martin.; Truthe, Bianca.; SpringerLink (Online service)
(Electronic resources)
Implementation and application of automata = 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
by:
Holzer, Markus.; Kutrib, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Computing Methodologies.
Machine theory
Logics and Meanings of Programs.
Computation by Abstract Devices.
Formal languages.
Algorithm Analysis and Problem Complexity.
Data Structures.
Formal methods (Computer science)
Computational complexity
Information Storage and Retrieval.
Computer science- Mathematics
Computer logic
Logic Design.
Formal languages
Computer Science.
Discrete Mathematics in Computer Science.
Reversible computing
Symbolic and Algebraic Manipulation.
Robotics
Computational Biology/Bioinformatics.