Home  Mathematical_Logic  Relation Algebras 
Page 1 163 of 63 1 
1. Relation Algebras, 150  Elsevier The modern theory of algebras of binary Relations, reformulated by Tarski as an abstract, algebraic, equational theory of Relation algebras, http://www.elsevier.com/wps/product/cws_home/706796  

2. PERA: Package For Extended Relation Algebras PERA deals with (binary) Relation algebras extended with a neighborhood structure. For a very simple presentation (in french) look at Euzenat 98a. http://www.inrialpes.fr/exmo/software/pera/  

3. RelMiCS10/AKA5  Main Page We invite submissions on the general topics of Relation algebra and Kleene Relation algebras and Kleene algebras; related formalisms such as process http://www.uniaugsburg.de/rel_aka  

4. Relation Algebras And Their Application In Temporal And Spatial Reasoning The calculus of Relation algebras is an equational formalism; it tells us which Relations must exist, given several basic operations, such as Boolean http://portal.acm.org/citation.cfm?id=1057246 
5. Representations For Small Relation Algebras There are eighteen isomorphism types of finite Relation algebras with eight or fewer elements, and all of them are representable. http://projecteuclid.org/handle/euclid.ndjfl/1040408612  

6. In The Beginning There Were Algebras Of Concrete Relations And he proved many interesting new results about Relation algebras, including a correspondence with 3variable logic that allowed the interpretation of set http://www1.chapman.edu/~jipsen/talks/Tarski2001/Tarskitalk.htm  

7. IngentaConnect Relation Algebras Of Intervals Given a representation of a Relation algebra we construct Relation algebras of pairs and ofintervals . If the representation happens to be complete, http://www.ingentaconnect.com/content/els/00043702/1996/00000083/00000002/art000  

8. Atlas: Relation Algebras And Groups By Hajnal Andreka A Relation algebra is any algebra (of the same similarity type as algebras of binary Relations) satisfying a certain finite set of equational http://atlasconferences.com/c/a/d/j/23.htm  

9. ARA  Automatic Relation Algebra Prover ARA is an automatic theorem prover for various kinds of Relation algebras. It is based on Gordeev s Reduction Predicate Calculi for nvariable logic (RPC_n) http://wwwsr.informatik.unituebingen.de/~sinz/ARA/  

10. JSTOR On Complete Atomic Proper Relation Algebras 1950 ON COMPLETE ATOMIC PROPER Relation algebras FRANK HARARY The object of this note is to classify the isomorphism types of all complete atomic proper http://links.jstor.org/sici?sici=00224812(195009)15:3<197:OCAPRA>2.0.CO;2L 
11. Ian Hodkinson: Relational Bases Etc Relational bases, Relation algebra cylindric algebra connections There are various connections between cylindric and Relation algebras, http://www.doc.ic.ac.uk/~imh/frames_website/bases.html  

12. Relation Algebras With Preferences Relation algebras are a wellestablished formalism for qualitative reasoning. In a Relation algebra, knowledge about Relations between entities such as http://www.informatik.unifreiburg.de/~ki/teaching/ss05/oberseminar/abstractsci  

13. SFB/TR 8  Project R3[QShape]  Research Additionally they build up a Relation algebra with 24 basic Relations. The Conceptual Neighborhood Structure of the Dipole Relation algebras http://www.sfbtr8.spatialcognition.de/project/r3/QualitativeCalculi/DipoleCalcu 
14. [qalg/9506004] On Deformations Of Commutation Relation Algebras On Deformations of Commutation Relation algebras. Authors Robert Ra owski Comments 17 pages Reportno IFT UWr 890/95 Subjclass Quantum Algebra http://arxiv.org/abs/qalg/9506004  

15. The Algebra Of Logic: SchrÃ¶der I of Principia Mathematica, and it has been a source of fundamental research under the name of Relation algebras in the school led by Tarski. http://www.math.uwaterloo.ca/~snburris/htdocs/scav/schroeder/schroeder.html  

16. Relation Algebras Over Containers And Surfaces Relation algebras over Containers and Surfaces An Ontological Study of a Room Space. Max Egenhofer and Andrea RodrÃguez Spatial Cognition and Computation 1 http://www.spatial.maine.edu/~max/RJ37.html  

17. Connections Between Quasiprojective Relation Algebras And Cylindric Algebras  InformaciÃ³n del artÃculo Connections between quasiprojective Relation algebras and cylindric algebras. http://dialnet.unirioja.es/servlet/articulo?codigo=2323779 
18. DBLP: Ivo DÃ¼ntsch 3, Ivo DÃ¼ntsch Rough Relation algebras. Fundam. Inform. 21(4) 321331 (1994). 2, Ivo DÃ¼ntsch A Microcomputer Based System for Small Relation algebras. http://www.informatik.unitrier.de/~ley/db/indices/atree/d/D=uuml=ntsch:Ivo.htm  

19. RELATION ALGEBRAS OF ACTION AND INDETERMINACY We will refine the techniques in actual applications of branching time, multiintervals, algebras of action, probabilistic Relation algebras, planning with http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=GR/K54946/01 
20. Mathematical Structures Relation Algebras $\begin{array}{lr} http//localhost/gap/ramaddux.html Small Relation algebras f(1)= 1\\ f(2)= 1\\ f(3)= 0\\ f(4)= 3\\ f(5)= 0\\ f(6)= 0\\ http://math.chapman.edu/cgibin/structures?Relation_algebras 
21. UNIVERSAL ALGEBRA, ALGEBRAIC LOGIC AND DATABASES By BORIS PLOTKIN THE CATEGORIAL APPROACH TO ALGEBRAIC LOGIC Relation algebras Notes on quantifiers Definition of Relation algebras Another approach Relational algebras http://www.mmsysgrp.com/plotkin.htm  

22. Spir@l  Imperial College Digital Repository: Strongly Representable Atom Struct Title, Strongly representable atom structures of Relation algebras. Item Type, Journal. Author(s), Hirsch, R Hodkinson, I http://eprints.imperial.ac.uk/handle/10044/1/571  

23. Relation Algebras, 150  Elsevier Relation algebras, 150. To order this title, and for more information, click here. This book belongs to the subject area Mathematics http://www.biolc.com/wps/find/bookreviewform.librarians/706796  

24. Relation Algebras From Cylindric And Polyadic Algebras  Nemeti And Simon 5 (4) This paper is a survey of recent results concerning connections between Relation algebras (RA), cylindric algebras (CA) and polyadic equality algebras (PEA) http://jigpal.oxfordjournals.org/cgi/content/abstract/5/4/575  

25. Preprints Of The Algebraic Logic Dept. Hajnal AndrÃ©ka Complexity of equations valid in algebras of Relations III IstvÃ¡n NÃ©meti and AndrÃ¡s Simon Relation algebras from cylindric and http://www.mathinst.hu/pub/algebraiclogic/Contents.html  

26. MATHS: Three Or More Infix Operators Maddux96 Relation algebras have a long history and can be used in a natural way .. However, there are an infinity of Relation algebras that are not http://www.csci.csusb.edu/dick/maths/math_45_Three_Operators.html  

27. Tuesday, August 29 Finite symmetric integral Relation algebras with no 3cycles. 10.00, Wolfram Kahl. Semigroupoid interfaces for Relationalgebraic programming in Haskell http://www.cs.man.ac.uk/relmics06/schedule.php  

28. OUP: UK General Catalogue This work presents a systematic study of decision problems for equational theories of algebras of binary Relations (Relation algebras). http://www.oup.com/uk/catalogue/?ci=9780821805954 
29. Relation Algebras, Studies In Logic And The Foundations Of Mathematics  MADDUX, Relation algebras, Studies in Logic and the Foundations of Mathematics; MADDUX, ROGER DUNCAN,. Offered by Black Oak Books, Berkeley. http://www.antiqbook.com/boox/blac/588868.shtml  

30. Relation Algebras Date Tue, 28 Jan 92 120621 EST To linear@cs.stanford.edu The following note is from Jim Lambek The Relation algebra model proposed by Thomas Streicher http://www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00023.html  

31. Personal Homepage For R. D. Maddux Finite symmetric integral Relation algebras with no 3cycles . Experts on Relation algebras may be able to decipher the data in these files http://www.math.iastate.edu/maddux/  

32. CAT.INIST Given a representation of a Relation algebra we construct Relation algebras of pairs and of intervals. If the representation happens to be complete, http://cat.inist.fr/?aModele=afficheN&cpsidt=3127397 
33. Mathematics The modern theory of algebras of binary Relations, More reformulated by Tarski as an abstract, algebraic, equational theory of Relation algebras, http://shopping.msn.com/results/mathematics/bcatid162/forsale?text=category:math 
34. Tarski 100 A brief history of Relation algebras, Victor Marek Tarski and semantical considerations in Logic Programming and Logical Foundations of Artificial http://www.mimuw.edu.pl/TARSKI/Tarski100.html  

35. Citations: Varieties Of Relation Algebras  Jonsson (ResearchIndex) B. Jonsson. Varieties of Relation algebras. Algebra Universalis, 15273298, 1982. http://citeseer.comp.nus.edu.sg/context/549955/0  

36. Baztech Informacja O Publikacji Tytul Relations algebras in qualitative spatial reasoning In this paper we investigate Relation algebras obtained from dixfferent notions of http://baztech.icm.edu.pl/baztech/cgibin/btgetdoc.cgi?BUS100070060 
37. A Pseudo Representation Theorem For Various Categories Of Relations Furthermore, we use our concept of a basis to extend a known result from the theory of heterogeneous Relation algebras. Keywords Relation Algebra, Dedekind http://www.tac.mta.ca/tac/volumes/7/n2/702abs.html  

38. Relation Algebras By Games  Libro  Robin Hirsch, Ian Hodkinson  Editore North Relation algebras by Games, Robin Hirsch, Ian Hodkinson. This is the first modern book on Relation algebra and contains original research which is not http://www.libreriauniversitaria.it/relationalgebrasbygamesrobin/book/978044  

39. Seminars @ CECS The set of all binary Relations on a nonempty set is called the algebra of The subclass of Relation algebras that are isomorphic to a subalgebra of the http://cecs.anu.edu.au/seminars/showone.pl?SID=417 
40. Function Algebras On Finite Sets  Mathematical Logic And Foundations Journals, The second part on fuction algebras covers the following topics Galoisconnection between function algebras and Relation algebras, completeness criterions, http://www.springer.com/west/home/math?SGWID=410042221736673030 
41. [Abstract] Demonic Semantics Of Guarded Commands Monotype/residual Style 2 Relation Algebra 2.1 Definition and basic laws Both homogeneous and In this paper, we use heterogeneous Relation algebras whose defini tion is taken http://actapress.com/PDFViewer.aspx?paperId=13296 
42. Sibirskii Matematicheskii Zhurnal On quasiidentities of Relation algebras with Diophantine operations D. A. Bredikhin UDC 519.4 Received 04.09.1995 http://www.mathnet.ru/php/journal.phtml?wshow=paper&jrnid=smj&paperid=419&year=1 
43. Relation Algebras By Games Is Available From Bestprices.com Books! Relation algebras by Games only $185.06, get the Relation algebras by Games book From BestPrices.com! http://www.bestprices.com/cgibin/vlink/0444509321?id=nsession 
44. Scientific Commons Rough Relation Algebras (1993), 19931209 Rough Relation algebras were introduced by S. Comer as a generalisation of algebras of Pawlak s rough sets and Tarski s Relation algebras. http://en.scientificcommons.org/384198  

45. Tower.com: Roger Duncan Maddux Relation Algebras Hardcover Tower.com Relation algebras Books Roger Duncan Maddux by Roger Duncan Maddux. http://www.tower.com/details/details.cfm?wapi=100266894 
46. Bentham Press  Engineering Books & Publications, Software And Training Relation algebras are algebras arising from the study of binary Relations. Part 4 presents some constructions of Relation algebras, including Monk http://www.bentham.com/publications/?id=1681&PHPSESSID=ca18d5b627b3b426725fde928 
47. CiteULike: Tag Relationalgebras [1 Article] Relations and Kleene Algebra in Computer Science (2006), pp. 235250. by Wolfram Kahl. posted to Relationalgebras haskell categorytheory by mstone on http://www.citeulike.org/tag/relationalgebras  

48. Front: [qalg/9506004] On Deformations Of Commutation Relation Algebras Title On Deformations of Commutation Relation algebras Authors Robert Ra owski Categories math.QA Quantum Algebra Comments 17 pages http://front.math.ucdavis.edu/9506.5144  

49. Relation Algebra  Wikipedia, The Free Encyclopedia In mathematics, a Relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The motivating example of a http://en.wikipedia.org/wiki/Relation_algebra  

50. A Ternary Relation Algebra Of Directed Lines We define a ternary Relation Algebra (RA) of relative position Relations on twodimensional directed lines (dlines for short). A dline has two degrees of http://adsabs.harvard.edu/abs/2003cs........7050I  

51. Interacting State Machines: A Stateful Approach To Proving Security Abstract We present a theorem proving system for abstract Relation algebra called RALL (= RelationAlgebraic Language and Logic), based on the generic http://david.vonoheimb.de/cs/papers/RALL.html  

52. Algebra Of Programming Research Group: 1996 Minutes As such, sequential algebra is a natural candidate for modelling (imperative) programs. In fact, it is only a slight generalization of Relation algebra in http://web.comlab.ox.ac.uk/oucl/research/pdt/ap/minutes/minutes1996.html  

53. Relational Algebra Operators in Relational algebra are not necessarily the same as SQL operators DELETE provides a condition on the attributes of a Relation to determine http://db.grussell.org/section010.html  

54. CP1500 Tutorial Solution  Fun With Relational Algebra More Formulating Queries in the Relational Algebra. Relational schemas for five relations in a movie database are depicted below. http://www.it.jcu.edu.au/Subjects/cp1500/resources/docs/introToRA.soln.html  

55. NutshellMath PreAlgebra  Relations And Functions NutshellMath offers targeted math homework help including prealgebra tutorials on understanding and representing algebraic relations. http://home.nutshellmath.com/enUS/nutshell_pages/html/demos_content/prealg_rela  

56. Scheme Evolution And The Relationship Algebra. Revision, This paper discusses extensions to the conventional relational algebra to support both aspects of transaction time, evolution of a database s contents and http://stinet.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA 
Page 1 163 of 63 1 