Dan Dougherty, Claudio Gutiérrez  @ NUS Home/Search
Context Related
| dcc.uchile.cl/~cgutierr/p...rta00.ps.gz Cached: PS.gz PS PDF Image Update Help From: dcc.uchile.cl/~cgutierr/papers... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider equational theories of binary relations, in a language expressing composition, converse, and lattice operations. We treat the equations valid in the standard model of sets and also de ne a hierachy of equational axiomatizations stratifying the standard theory. By working directly with a presentation of relation-expressions as graphs we are able to de ne a notion of reduction which is conuent and strongly normalizing, in sharp contrast to traditional treatments based on... (Update)
Cited by: More
The complete list of RTA open problems - Date April Summary (Correct)
Similar documents (at the sentence level):
77.5%: Normal Forms and Reduction for Theories of Binary Relations - Dougherty, Gutierrez (2000) (Correct)
Active bibliography (related documents): More All
0.4: A Relational Approach To Optimization Problems - Curtis (1996) (Correct)
0.4: Relation Algebras and Their Application in Qualitative Spatial.. - Düntsch (2003) (Correct)
0.4: Decidability Of The Equational Theory Of Allegories - Gutiérrez (1998) (Correct)
Similar documents based on text: More All
0.4: Direct Proofs of Strong Normalisation in Calculi of.. - Dougherty, Lescanne (Correct)
0.3: Satisfiability of Equations in Free Groups is in PSPACE - Gutiérrez (2000) (Correct)
0.3: Normal Forms For Connectedness In Categories - Gutiérrez (1998) (Correct)
Related documents from co-citation: More All
4: volume 939 of Lecture Notes in Computer Science (context) - Wolper, Aided et al. - 1995
3: Completion of rewrite systems with membership constraints - Comon - 1992
2: Computations in orthogonal rewriting systems (context) - Huet, L'evy - 1991
BibTeX entry: (Update)
Dan Dougherty and Claudio Gutirrez. Normal forms and reduction for theories of binary relations. In Bachmair [Bac00], pages 95-109. http://citeseer.comp.nus.edu.sg/698378.html More
@misc{ dougherty-normal,
author = "D. Dougherty and C. Gutirrez",
title = "Normal forms and reduction for theories of binary relations",
text = "Dan Dougherty and Claudio Gutirrez. Normal forms and reduction for theories
of binary relations. In Bachmair [Bac00], pages 95-109.",
url = "citeseer.comp.nus.edu.sg/698378.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
108 Journal of Symbolic Logic (context) - Tarski, calculus - 1941
104 Algebra of Programming (context) - Bird, de Moor - 1997
97 A formalization of set theory without variables (context) - Tarski, Givant - 1988
47 Relational Methods in Computer Science - Brink, Kahl et al. - 1997
23 Relations and Graphs: Discrete Mathematics for Computer Scie.. (context) - Schmidt, Str - 1993
22 Harvard University Press (context) - Peirce - 1933
20 North-Holland Mathematical Library (context) - Freyd, Scedrov et al. - 1990
17 Elements of a relational theory of datatypes - Backhouse, Hoogendijk - 1993
16 Logical Reasoning with Diagrams (context) - Barwise, Allwein - 1996
13 Origins of the calculus of binary relations - Pratt - 1992
11 allegories and circuit design (context) - Brown, Hutton - 1994
8 volume 82 of Lecture Notes in Computer Science (context) - Sanderson, Theory et al. - 1980
7 Combinatory logic programming: computing in relation calculi (context) - Broome, Lipton - 1994
7 A calculus for recursive program schemes (context) - De Bakker, De Roever - 1973
4 The equational theory of union-free algebras of relations (context) - Andr, Bredikhin - 1995
3 Science of Computer Programming (context) - Curtis, Lowe et al. - 1996
3 Transactions of the Cambridge Philosophical Society (context) - De Morgan, syllogism et al.
3 Some notes on logic programming with a relational machine - Lipton, Chapman - 1998
3 Theoretical Computer Science (context) - Maddux - 1996
2 Distributed on the mathematics of programming electronic mai.. (context) - Hutton, Meijer et al. - 1994
2 The Arithmetic and Geometry of Allegories: normal forms and .. (context) - Guti - 1999
2 Special issue devoted to the XI Simposio Latinoamericano de .. (context) - Guti, forms et al. - 1998
2 Arguesian lattics which are not linear (context) - Haiman - 1987
2 uber der Algebra der Logik (context) - Schr, Vorlesungen
1 Relational matching for graphical calculi of relations (context) - Kahl - 1999
Documents on the same site (http://www.dcc.uchile.cl/~cgutierr/papers/): More
Building Yearbooks with RDF - Morales, Gutierrez (2002) (Correct)
Formal aspects of querying RDF databases - Gutierrez, Hurtado, Mendelzon (2003) (Correct)
Satisfiability of Equations in Free Groups is in PSPACE - Gutiérrez (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.