Relational Representation Theorem for Powerset Quantales
From MaRDI portal
Publication:2915145
DOI10.1007/978-3-642-33314-9_14zbMath1330.06012MaRDI QIDQ2915145
Koki Nishizawa, Hitoshi Furusawa
Publication date: 21 September 2012
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33314-9_14
06F07: Quantales
Related Items
Preorders, Partial Semigroups, and Quantales, Multirelational representation theorems for complete idempotent left semirings.
Cites Work