Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings

DOI10.1007/978-3-642-21070-9_13zbMath1329.06010OpenAlexW1819690510MaRDI QIDQ3007575

Hitoshi Furusawa, Koki Nishizawa

Publication date: 17 June 2011

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-21070-9_13

zbMATH Keywords

multirelationscomplete idempotent left semiringsmultirelational representation theorems

Mathematics Subject Classification ID

Semirings (16Y60) Ordered rings, algebras, modules (06F25) Quantales (06F07)

Related Items (1)

Multirelational representation theorems for complete idempotent left semirings.

Uses Software

• Prover9
• Mace4

This page was built for publication: Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings