Languages
Hofner, Peter.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(1998 :); Hofner, Peter.; Pous, Damien.; SpringerLink (Online service); Struth, Georg.
(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)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer science
Relation algebras
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.