Searching for "On the Calculus of Relations." – sorted by Relevance.
548 documents found, showing 1 through 10.
Next 10 →
-
the Calculus of Relations
- …The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations…
- Add To MetaCart
-
The Origin Of Relation Algebras In The Development And Axiomatization Of The Calculus Of Relations
- …THE ORIGIN OF RELATION ALGEBRAS IN THE DEVELOPMENT AND AXIOMATIZATION OF THE CALCULUS OF RELATIONS…
- Cited by 39 (2 self) – Add To MetaCart
-
Automata for the µ-calculus and Related Results
- …-calculus BRICS Basic Research in Computer Science Automata for the -calculus and Related…
- Cited by 8 (1 self) – Add To MetaCart
-
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view.
- …Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view…
- Add To MetaCart
-
Iowa State University
- …Weak representation theory in the calculus of relations by Jeremy F. Alm A dissertation submitted…
- Add To MetaCart
-
List Comprehensions and the Relational Calculus
- …DRAFT List Comprehensions and the Relational Calculus Phil Trinder Phil Wadler September 13, 1999 1…
- Cited by 11 (2 self) – Add To MetaCart
-
A Brief Survey Of The Theory Of The π-Calculus
- … and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems…
- Add To MetaCart
-
Formalised Cut Admissibility for Display Logic
- … calculus for relation algebras RA in the logical framework Isabelle/HOL to formalise a machine…
- Cited by 4 (3 self) – Add To MetaCart
-
Poetic effects
- … deduction, and the other to classical sequent calculus. Their relations and normalisation properties…
- Cited by 1 (1 self) – Add To MetaCart
-
Optimisation Problems in Logic Programming: An Algebraic Approach
- … reasoning about programs. For functional programs, an algebraic calculus of relations has previously been…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
