- Home
- » Tags
- » Relation algebra
Top View
- Relation Algebras
- Relation Lifting
- Relation Algebras of Sugihara, Belnap, Meyer, Church. Relevance Logic of Tarski
- Tarski's Relevance Logic; Version 2
- Pair-Dense Relation Algebras
- First-Order Unification Using Variable-Free Relational Algebra$
- Relation Algebras of Intervals
- Canonical Varieties with No Canonical Axiomatisation
- Relation Algebra
- Relation Algebras As Expanded Fl-Algebras 11
- This Is the Online Version of Elementary Set Theory with a Universal Set, by M. Randall Holmes, Made Available Online by Permission of the Publishers
- Relation Lifting, a Survey
- Logic Programming in Tabular Allegories∗
- Of Relation Algebras
- On the Finitizability Problem in Algebraic Logic; Recent Results
- Axiomatic Set Theory
- Automata for Relation Algebra and Formal Proofs Damien Pous
- Functions As Types Or The" Hoare Logic" of Functional Dependencies
- Relational Calculus and First-Order Logic
- Relevant Logic and Relation Algebras
- Contemporary Mathematics 156
- Aspects of Relation Algebras
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras Peter Jipsen Chapman University, [email protected]
- Database 2 Lecture III Alessandro Artale
- Associative Array Model of SQL, Nosql, and Newsql Databases
- Algebraic Classifications for Fragments of First-Order Logic and Beyond
- TARSKI's INFLUENCE on COMPUTER SCIENCE The
- Proof Theory of the Calculus of Relations
- Reducing First-Order Logic to Df 3, Free Algebras
- Undecidable Problems on Representability As Binary Relations