Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings

DOI10.1007/978-3-642-21070-9_13zbMATH Open1329.06010OpenAlexW1819690510MaRDI QIDQ3007575FDOQ3007575

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

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

Cited In (2)

• Multirelational representation theorems for complete idempotent left semirings.
• Title not available (Why is that?)

Uses Software

• Prover9
• Mace4

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007575)