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

Amina Doumane, Damien Pous

Browse the full CONCUR paper archive.