Abstract is missing.
- Topological Representation of Precontact AlgebrasGeorgi Dimov, Dimiter Vakarelov. 1-16 [doi]
- Relational Semantics Through DualityEwa Orlowska, Ingrid Rewitzky, Ivo Düntsch. 17-32 [doi]
- Duality Theory for Projective AlgebrasAlasdair Urquhart. 33-47 [doi]
- Relational Approach to Boolean Logic ProblemsRudolf Berghammer, Ulf Milanese. 48-59 [doi]
- Static Analysis of Programs Using Omega Algebra with TestsClaude Bolduc, Jules Desharnais. 60-72 [doi]
- Weak Contact StructuresIvo Düntsch, Michael Winter. 73-82 [doi]
- On Relational CyclesAlexander Fronk, Jörg Pleumann. 83-95 [doi]
- A Framework for Kleene Algebra with an Embedded StructureHitoshi Furusawa. 96-107 [doi]
- Non-termination in Unifying Theories of ProgrammingWalter Guttmann. 108-120 [doi]
- Towards an Algebra of Hybrid SystemsPeter Höfner, Bernhard Möller. 121-133 [doi]
- Relational Correspondences for Lattices with OperatorsJouni Järvinen, Ewa Orlowska. 134-146 [doi]
- Control-Flow Semantics for Assembly-Level Data-Flow GraphsWolfram Kahl, Christopher Kumar Anand, Jacques Carette. 147-160 [doi]
- Relational Implementation of Simple Parallel Evolutionary AlgorithmsBritta Kehden, Frank Neumann, Rudolf Berghammer. 161-172 [doi]
- Lattice-Based Paraconsistent LogicWendy MacCaull, Dimiter Vakarelov. 173-187 [doi]
- Verification of Pushdown Systems Using Omega Algebra with DomainVincent Mathieu, Jules Desharnais. 188-199 [doi]
- p IsBernhard Möller, Georg Struth. 200-211 [doi]
- Relational Representability for Algebras of Substructural LogicsEwa Orlowska, Anna Maria Radzikowska. 212-224 [doi]
- Knuth-Bendix Completion as a Data StructureGeorg Struth. 225-236 [doi]
- Quantifier Elimination in Elementary Set TheoryEwa Orlowska, Andrzej Szalas. 237-248 [doi]
- Time-Dependent Contact Structures in Goguen CategoriesMichael Winter. 249-262 [doi]