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)
Artificial Intelligence.
Formal languages
Symbolic and Algebraic Manipulation.
Theory of Computation.
Discrete Mathematics in Computer Science.
Computing Methodologies.
Computer Science.
Machine theory
Formal languages.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer Engineering and Networks.
Computer Science Logic and Foundations of Programming.