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]
@inproceedings{DoumaneP20,
title = {Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms},
author = {Amina Doumane and Damien Pous},
year = {2020},
doi = {10.4230/LIPIcs.CONCUR.2020.29},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.29},
researchr = {https://researchr.org/publication/DoumaneP20},
cites = {0},
citedby = {0},
booktitle = {31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)},
editor = {Igor Konnov 0001 and Laura Kovács},
volume = {171},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-160-3},
}