Pages that link to "Item:Q752687"
From MaRDI portal
The following pages link to Data types over multiple-valued logics (Q752687):
Displaying 5 items.
- Equality-Test and If-Then-Else Algebras: Axiomatization and Specification (Q3978179) (← links)
- Circumscription in Data Logic for Data Type Specification (Q4286217) (← links)
- A Mathematical Life (Q4586411) (← links)
- Boolean product representations of algebras via binary polynomials (Q4586422) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)