The following pages link to (Q4539604):
Displayed 4 items.
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)