Pages that link to "Item:Q877838"
From MaRDI portal
The following pages link to The calculus of relations as a foundation for mathematics (Q877838):
Displaying 11 items.
- Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017) (← links)
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Weak \(n\)-ary relational products in allegories (Q2345058) (← links)
- Map composition generalized to coherent collections of maps. (Q2355647) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Expressive Power and Succinctness of the Positive Calculus of Relations (Q5098722) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)
