Bordihn, Henning.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
DCFS (Workshop) (2023 :); Bordihn, Henning.; Tran, Nicholas.; Vaszil, Gyorgy.; 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)
Subjects
Theory of Computation.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Machine theory
Formal languages.
Computation by Abstract Devices.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Formal languages
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.