Abstract is missing.
- Categorical Representation Theorems of Fuzzy RelationsYasuo Kawahara, Hitoshi Furusawa, Masao Mori. 1-10
- A Relation Algebraic Approach to Interaction CategoriesMichael Winter. 11-18
- Oriented, Binary, Ordered Trees and Forests Distributive AllegoriesJean-Pierre Olivier. 19-28
- Fuzzy Graph RewritingsMasao Mori, Yasuo Kawahara. 29-38
- Dynamic fuzzy functional dependencySadok Ben Yahia, Habib Ounalli, Ali Jaoua. 39-50
- Fuzzy Difunctional DependenclesHabib Ounalli, Ali Jaoua. 51-62
- Using Difunctional Relation for Information OrganizationRaoudha Khchérif, Ali Jaoua, Mohamed M. Gammoudi. 63-72
- Some Properties of Spectral Binary RelationsKarim Belaid, Bahri Cherif, Othman Echi. 73-79
- The finite base property for some cylindric-relativized algebras (Abstract)Hajnal Andréka, Ian M. Hodkinson, István Németi. 81
- Properties of Graphs Preserved by Relational Graph RewritingsYoshihiro Mizoguchi. 83-89
- Relational Matching for Graphical Calculi of RelationsWolfram Kahl. 91-100
- Modelling Message Buffers with Binary Decision DiagramsBernd-Holger Schlingloff. 101-111
- Calculating With Pointer Structures (Extended Abstract)Bernhard Möller. 113-122
- Relational Programming in LibraBarry Dwyer. 123-132
- Mechanizing Proofs by Unfolding, Folding and SimplificationRym Salem, Khaled Bsaïes. 133-142
- Predicate RelatorsChris Brink, Ingrid Rewitzky. 143-156
- Semantics for Logics without Contraction Using Ternary RelationsWendy MacCaull. 157-165
- Defining Levels of Correctness for Parallel Programs with Temporal Logic of ActionsLotfi Majdoub, Yahya Slimani. 167-176
- Axiomatizing Mixed RelationsGheorghe Stefanescu. 177-186
- Formal Protocol Description: Model and validationNoureddine Boudriga, Sihem Guemara-ElFatmi. 187-203
- Completeness of the Relational Calculus MU2Marcelo F. Frias, Roger D. Maddux. 205-214
- Axioms for Jonsson s Q-AlgebrasVera Stebletsova, Yde Venema. 215-224
- Relation Algebras Can TileMaarten Marx. 225-238
- A note on expressing infinity in cylindrlc-relativised set algebrasSzabolcs Mikulás. 239-243
- The Finite Representable Relation Algebras are not Recursive (Abstract)Robin Hirsch. 245
- Linking Theories in Probabilistic ProgrammingJifeng He. 247-256
- Programs as binary multirelationsIngrid Rewitzky. 257-272
- Algorithms = RelationaI Algebra + Ordering RelationsFatma Mili, Ali Mili. 273-289
- Calculating with Relations for Graph AlgorithmicsJesus Ravelo. 291-300
- Measures of Distances to Perform Approximate RetrievalRym Mili, Lamia Labed Jilani, Ali Mili. 301-307
- Computing Kernels in Bicromatic Directed Relations (Abstract)Rudolf Berghammer, Burghard von Karger. 309
- Visiting Some Relatives of Peirce sMichael Böttner. 311-320
- Equational Reasoning in Non-Classical LogicsMarcelo F. Frias, Ewa Orlowska. 321-329
- Reasoning with Relational Demonic OperatorsStéphane Demri, Ewa Orlowska. 331-340
- Towards a Formal Framework for Heterogeneous Relation AlgebraClaudia Hattensperger, Peter Kempf. 341-349
- Representability and Program Construction within Fork Algebras (Part II)Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. 351-358
- Monomorphic Characterization of n-ary direct productsJules Desharnais. 359-368
- Weakly Assoclative Relation Algebras with Polyadic CompositlonsVera Stebletsova. 369-375