Decidability of equational theories for subsignatures of relation algebra

Hirsch, R; (2018) Decidability of equational theories for subsignatures of relation algebra. In: Relational and Algebraic Methods in Computer Science. RAMiCS 2018. Lecture Notes in Computer Science, vol 11194. (pp. pp. 87-96). Springer: Cham.

https://ift.tt/2Q9rCWB