Pages that link to "Item:Q1870581"
From MaRDI portal
The following pages link to Compiling dyadic first-order specifications into map algebra (Q1870581):
Displaying 7 items.
- On graph reasoning (Q731892) (← 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)
- Reasoning with Graphs (Q4917998) (← links)
- An Agg Application Supporting Visual Reasoning1 (Q4921559) (← links)
- Layered map reasoning (Q4923516) (← links)
