Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras

From MaRDI portal
Publication:5283208

DOI10.1007/978-3-319-57418-9_9zbMath1486.03120OpenAlexW2607699588MaRDI QIDQ5283208

Peter Jipsen

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.chapman.edu/scs_articles/568




Related Items (9)



Cites Work


This page was built for publication: Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras