The following pages link to Relation algebras by games (Q700879):
Displaying 50 items.
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- Representable posets (Q301370) (← links)
- Spatial voting games, relation algebra and RelView (Q406437) (← links)
- Completely representable lattices (Q422347) (← links)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Sum-free cyclic multi-bases and constructions of Ramsey algebras (Q476331) (← links)
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Relations between adjacency trees (Q554222) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- A relation-algebraic approach to simple games (Q631101) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Structural characterizations of the navigational expressiveness of relation algebras on a tree (Q896017) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Relation algebras and groups (Q1652847) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Coset relation algebras (Q1652860) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- On the equational complexity of RRA (Q1935010) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Term algebras of elementarily equivalent atom structures (Q1991592) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over \(\mathbb{Z} / p \mathbb{Z}\) (Q2272411) (← links)
- On the variety generated by completions of representable relation algebras (Q2297227) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Varieties generated by completions (Q2311330) (← links)
- Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
- Algebras of multiplace functions for signatures containing antidomain (Q2411690) (← links)
- Lattices of equivalence relations closed under the operations of relation algebras (Q2449456) (← links)
