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

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || On cylindric algebraic model theoryBergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L. · 1990

Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7Springer-Verlag · 2004

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 ||Höfner, Peter; Pous, Damien; Struth, Georg · 2017

[Lecture Notes in Computer Science] Algebraic Logic and Universal Algebra in Computer Science Volume 425 || The resolution rule: An algebraic perspectiveBergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L. · 1990

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Algebraic view specificationWirsing, Martin; Nivat, Maurice · 1996

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1548 || Abstract Algebraic LogicHaeberer, Armando M. · 1999

[Lecture Notes in Computer Science] Computer Science Today Volume 1000 || Algebraic topology and distributed computing a primervan Leeuwen, Jan · 1995

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Conditional term graph rewritingHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Parallelizing functional programs by generalizationHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Parameterised higher-order algebraic specificationsHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Needed reductions with context-sensitive rewritingHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Lazy narrowing with parametric order sorted typesHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Explicit substitutions for the λΔ-calculusHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Optimal non-deterministic functional logic computationsHanus, Michael; Heering, Jan; Meinke, Karl · 1997

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || On composable properties of term rewriting systemsHanus, Michael; Heering, Jan; Meinke, Karl · 1997