Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms

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]

Authors

Amina Doumane

This author has not been identified. Look up 'Amina Doumane' in Google

Damien Pous

This author has not been identified. Look up 'Damien Pous' in Google