Languages
Winter, Michael.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by:
Winter, Michael.; SpringerLink (Online service); Santocanale, Luigi.; RAMiCS (Conference) (2023 :); Glück, Roland.
(Electronic resources)
Relational topology
by:
Winter, Michael.; SpringerLink (Online service); Schmidt, Gunther.
(Electronic resources)
Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
Jipsen, Peter.; Winter, Michael.; SpringerLink (Online service); RAMiCS (Conference) (2020 :); Fahrenberg, Uli.
(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)
Subjects
Algebraic logic
Computer Science, general.
Topology.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Logic in AI.
Mathematics of Computing.
Mathematical Applications in Computer Science.
Computer science- Mathematics
Mathematics.
Category Theory, Homological Algebra.
Numeric Computing.
Database Management System.
Data Mining and Knowledge Discovery.
Relation algebras
Artificial Intelligence.
Computer Science.
Discrete Mathematics.
Knowledge Based Systems.
General Algebraic Systems.