Bordihn, Henning.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
Bordihn, Henning.; Kutrib, Martin.; SpringerLink (Online service); Truthe, Bianca.
(Language materials, printed)
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Tran, Nicholas.; Vaszil, Gyorgy.; SpringerLink (Online service); Bordihn, Henning.
(Language materials, printed)
Subjects
Formal methods (Computer science)
Formal languages
Artificial Intelligence.
Symbolic and Algebraic Manipulation.
Formal languages.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Theory of Computation.
Discrete Mathematics in Computer Science.
Computing Methodologies.
Computer Science.
Machine theory