Abstract is missing.
- A Quest for Kleene Algebra in 2 DimensionsGheorghe Stefanescu. 3-26 [doi]
- Connections between Relation Algebras and Cylindric AlgebrasIan M. Hodkinson. 27-42 [doi]
- Towards a Probabilistic Interpretation of Game LogicErnst-Erich Doberkat. 43-47 [doi]
- Completeness and Incompleteness in Nominal Kleene AlgebraDexter Kozen, Konstantinos Mamouras, Alexandra Silva 0001. 51-66 [doi]
- Closure, Properties and Closure Properties of MultirelationsRudolf Berghammer, Walter Guttmann. 67-83 [doi]
- Relational Formalisations of Compositions and Liftings of MultirelationsHitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. 84-100 [doi]
- Relations among Matrices over a SemiringDylan Killingbeck, Milene Santos Teixeira, Michael Winter. 101-118 [doi]
- Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic PerspectiveFredrik Dahlqvist, David J. Pym. 119-135 [doi]
- Generalised N-ary Relations and AllegoriesBartosz Zielinski 0002. 136-150 [doi]
- Mechanised Relation-Algebraic Order Theory in Ordered Categories without MeetsMusa Al-hassy, Wolfram Kahl. 151-168 [doi]
- Metaphorisms in ProgrammingJosé N. Oliveira. 171-190 [doi]
- Relational Mathematics for Relative CorrectnessJules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili. 191-208 [doi]
- Encoding and Decoding in Refinement AlgebraKim Solin. 209-224 [doi]
- Type Checking by Domain Analysis in AmpersandStef M. M. Joosten, Sebastiaan J. C. Joosten. 225-240 [doi]
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIVRoland Glück, Florian Benedikt Krebs. 241-256 [doi]
- Investigating and Computing Bipartitions with Algebraic MeansRudolf Berghammer, Insa Stucke, Michael Winter. 257-274 [doi]
- Tool-Based Verification of a Relational Vertex Coloring ProgramRudolf Berghammer, Peter Höfner, Insa Stucke. 275-292 [doi]
- L-Fuzzy Databases in Arrow CategoriesEvans Adjei, Wazed Chowdhury, Michael Winter. 295-311 [doi]
- Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles ClassificationAbdelaali Hassaïne, Souad Mecheter, Ali Jaoua. 312-325 [doi]
- Solving a Tropical Optimization Problem via Matrix SparsificationNikolai Krivulin. 326-343 [doi]
- Towards Antichain AlgebraBernhard Möller. 344-361 [doi]
- Decomposition of Database Preferences on the Power Set of the DomainPatrick Roocks. 362-379 [doi]
- Roughness by Residuals - Algebraic Description of Rough Sets and an Algorithm for Finding Core RelationsMartin E. Müller. 380-394 [doi]