海量图书期刊资源,随时随地畅享阅读乐趣
[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 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] Category Theory and Computer Science Volume 953 || Relational set theoryPitt, David; Rydeheard, David E.; Johnstone, Peter · 1995
[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] 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] Relational and Algebraic Methods in Computer Science Volume 9348 || Towards Antichain AlgebraKahl, Wolfram; Winter, Michael; Oliveira, José N. · 2015
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Relational specifications and observational semanticsGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986
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] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach II: Dioids, Quantales and MonadsBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2008
[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