Languages
Kahl, Wolfram.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings /
by:
Kahl, Wolfram.; Griffin, Timothy G.; SpringerLink (Online service)
(Electronic resources)
Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by:
Kahl, Wolfram.; Winter, Michael.; Oliveira, Jose.; SpringerLink (Online service)
(Electronic resources)
Relational and algebraic methods in computer science = 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings /
by:
Hofner, Peter.; Jipsen, Peter.; Kahl, Wolfram.; Muller, Martin Eric.; SpringerLink (Online service)
(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- Mathematics
Relation algebras
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.