Pages that link to "Item:Q5213712"

The following pages link to A Geometric Approach to MV-Algebras (Q5213712):

Displaying 2 items.

• Fixpoint theory -- upside down (Q2233395) (← links)
• A monoidal view on fixpoint checks (Q6535504) (← links)