Languages
Kahl, Wolfram.
Overview
Works: | 2 works in 3 publications in 1 languages |
---|
Titles
Relational and algebraic methods in computer science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings /
by:
(1998 :); Griffin, Timothy G.; Kahl, Wolfram.; SpringerLink (Online service)
(Electronic resources)
Relational and algebraic methods in computer science14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings /
by:
(1998 :); Hofner, Peter.; Jipsen, Peter.; Kahl, Wolfram.; Muller, Martin Eric.; SpringerLink (Online service)
(Electronic resources)
Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by:
(1998 :); Kahl, Wolfram.; Oliveira, Jose.; SpringerLink (Online service); Winter, Michael.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Computer Science, general.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer science
Relation algebras
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.