Pages that link to "Item:Q1189893"
From MaRDI portal
The following pages link to The origin of relation algebras in the development and axiomatization of the calculus of relations (Q1189893):
Displaying 36 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- On graph reasoning (Q731892) (← links)
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- An algebraic formalization of fuzzy relations (Q1302221) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Programming from metaphorisms (Q1683699) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Categorical representation theorems of fuzzy relations (Q1961868) (← links)
- Tractable approximations for temporal constraint handling (Q1978249) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- Mathematics Ho! Which modern mathematics was modernist? (Q2268032) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Map composition generalized to coherent collections of maps. (Q2355647) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- Nonrepresentable relation algebras generated by functional elements (Q2577687) (← links)
- Residuation in existential graphs (Q2671610) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- An Agg Application Supporting Visual Reasoning1 (Q4921559) (← links)
- Implicative filters in quasi-ordered residuated systems (Q5027726) (← links)
- Weak implicative filters in quasi-ordered residuated systems (Q5027754) (← links)
- Relational set theory (Q5057465) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- On matrices and \(K\)-relations (Q5918484) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
