Abstract is missing.
- Weak Kleene Algebra and Computation TreesErnie Cohen. 1 [doi]
- Finite Symmetric Integral Relation Algebras with No 3-CyclesRoger D. Maddux. 2-29 [doi]
- Computations and Relational BundlesJeff W. Sanders. 30-62 [doi]
- An Axiomatization of Arrays for Kleene Algebra with TestsKamal Aboul-Hosn. 63-77 [doi]
- Local Variable Scoping and Kleene Algebra with TestsKamal Aboul-Hosn, Dexter Kozen. 78-90 [doi]
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and /sc ::::RelView::::Rudolf Berghammer. 91-105 [doi]
- On the Complexity of the Equational Theory of Relational Action AlgebrasWojciech Buszkowski. 106-119 [doi]
- Demonic Algebra with DomainJean-Lou De Carufel, Jules Desharnais. 120-134 [doi]
- Topological Representation of Contact LatticesIvo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter. 135-147 [doi]
- Betweenness and Comparability Obtained from Binary RelationsIvo Düntsch, Alasdair Urquhart. 148-161 [doi]
- Relational Representation Theorems for General Lattices with NegationsWojciech Dzik, Ewa Orlowska, Clint J. van Alten. 162-176 [doi]
- Monotonicity Analysis Can Speed Up VerificationMarcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg. 177-191 [doi]
- Max-Plus Convex GeometryStephane Gaubert, Ricardo Katz. 192-206 [doi]
- Lazy Semiring Neighbours and Some ApplicationsPeter Höfner, Bernhard Möller. 207-221 [doi]
- Omega Algebra, Demonic Refinement Algebra and CommandsPeter Höfner, Bernhard Möller, Kim Solin. 222-234 [doi]
- Semigroupoid Interfaces for Relation-Algebraic Programming in HaskellWolfram Kahl. 235-250 [doi]
- On the Cardinality of RelationsYasuo Kawahara. 251-265 [doi]
- Evaluating Sets of Search Points Using Relational AlgebraBritta Kehden. 266-280 [doi]
- Algebraization of Hybrid Logic with BindersTadeusz Litak. 281-295 [doi]
- Using Probabilistic Kleene Algebra for Protocol VerificationAnnabelle McIver, E. Cohen, Carroll Morgan. 296-310 [doi]
- Monotone Predicate Transformers as Up-Closed MultirelationsIngrid Rewitzky, Chris Brink. 311-327 [doi]
- Homomorphism and Isomorphism Theorems Generalized from a Relational PerspectiveGunther Schmidt. 328-342 [doi]
- Relational Measures and IntegrationGunther Schmidt. 343-357 [doi]
- A Relational View of Recurrence and Attractors in State Transition DynamicsGiuseppe Scollo, Giuditta Franco, Vincenzo Manca. 358-372 [doi]
- On Two Dually Nondeterministic Refinement AlgebrasKim Solin. 373-387 [doi]
- On the Fixpoint Theory of Equality and Its ApplicationsAndrzej Szalas, Jerzy Tyszkiewicz. 388-401 [doi]
- Monodic Tree Kleene AlgebraToshinori Takai, Hitoshi Furusawa. 402-416 [doi]
- Weak Relational ProductsMichael Winter. 417-431 [doi]