[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4136 ||Schmidt, Renate A. · 2006

Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th InternatRelMiCS/AKA 2006 · Springer-Verlag · 2006

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Relations on HypergraphsKahl, Wolfram; Griffin, Timothy G. · 2012

[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4136 || Topological Representation of Contact LatticesSchmidt, Renate A. · 2006

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 10304 || Green’s Relations in Finite Transformation SemigroupsWeil, Pascal · 2017

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1980 Volume 88 || On atomic nets and concurrency relationsDembiński, P. · 1980

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Continuous Relations and Richardson’s TheoremKahl, Wolfram; Griffin, Timothy G. · 2012

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Reasoning and rewriting with set-relations I: Ground completenessPacholski, Leszek; Tiuryn, Jerzy · 1995

Relations and Kleene algebras in computer scienceRudolf Berghammer; Bernhard Möller; Georg Struth · 2010

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Pointer Kleene AlgebraBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Kleene Algebra with RelationsBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004

[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach I: The Algebraization of the Chomsky HierarchyBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2008

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Towards a Formalisation of Relational Database Theory in Constructive Type TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004