Decidability of equational theories for subsignatures of relation algebra

DOI10.1007/978-3-030-02149-8_6OpenAlexW2894862136MaRDI QIDQ1617808

Robin Hirschl

Publication date: 8 November 2018

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10062931/

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Undecidability of Algebras of Binary Relations

This page was built for publication: Decidability of equational theories for subsignatures of relation algebra