Fingerprint
Dive into the research topics of 'Propositional Logics for Lawvere Quantale'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Propositional Logics for Lawvere Quantale
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
11
Downloads
(Pure)