Kutrib, Martin.
Overview
Works: | 1 works in 6 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)
Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
Bordihn, Henning.; Kutrib, Martin.; SpringerLink (Online service); Truthe, Bianca.
(Electronic resources)
Descriptional complexity of formal systems14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(1998 :); Kutrib, Martin.; Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
(Electronic resources)
Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
(1998 :); Kutrib, Martin.; Meyer, Uwe.; SpringerLink (Online service)
(Electronic resources)
Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings /
by:
(1998 :); Baetens, Jan M.; Kutrib, Martin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Computing Methodologies.
Machine theory
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Computation by Abstract Devices.
Formal languages.
Algorithm Analysis and Problem Complexity.
Data Structures.
Cellular automata
Computers.
Numerical analysis.
Formal methods (Computer science)
Computational complexity
Information Storage and Retrieval.
Computer logic
Logic Design.
Formal languages
Numeric Computing.
Computer science
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Computer science.
Math Applications in Computer Science.
Reversible computing
Symbolic and Algebraic Manipulation.
Robotics
Computational Biology/Bioinformatics.
Artificial intelligence.