Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Amina Doumane, Damien Pous. Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. In Igor Konnov 0001, Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). Volume 171 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

The following publications are possibly variants of this publication:

Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk)Amina Doumane. mfcs 2021: [doi]

runs on WebDSL