Relation algebras - Congresses.

Relational Methods in Computer Science8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / by: (Electronic resources)

Relational and Kleene-algebraic methods in computer science7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / by: (Electronic resources)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29 - November 1, 2018 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings / by: (Electronic resources)

Mathematical Logic and Formal Languages.

Software Engineering.

Algebraic logic

Computer Science, general.

Theory of Computation.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Algebra.

Information Systems and Communication Service.

Logic in AI.

Mathematics of Computing.

Algebra

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Database Management System.

Data Mining and Knowledge Discovery.

Computer science

Relation algebras

Order, Lattices, Ordered Algebraic Structures.

Artificial Intelligence.

Relationism

Computer Science.

Discrete Mathematics in Computer Science.

Knowledge Based Systems.

Symbolic and Algebraic Manipulation.