Languages
Fahrenberg, Uli.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings /
by:
RAMiCS (Conference) (2021 :); Fahrenberg, Uli.; SpringerLink (Online service)
(Electronic resources)
Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
RAMiCS (Conference) (2020 :); Fahrenberg, Uli.; Jipsen, Peter.; Winter, Michael.; SpringerLink (Online service)
(Electronic resources)
Subjects
Algebraic logic
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Logic in AI.
Mathematics of Computing.
Computer science- Mathematics
Numeric Computing.
Relation algebras
Artificial Intelligence.