✦ LIBER ✦

[Lecture Notes in Computer Science] Algebra, Meaning, and Computation Volume 4060 || Sheaves and Structures of Transition Systems

✍ Scribed by Futatsugi, Kokichi; Jouannaud, Jean-Pierre; Meseguer, José

Book ID: 115463623
Publisher: Springer Berlin Heidelberg
Year: 2006
Weight: 225 KB
Category: Article
ISBN: 3540354646
DOI: 10.1007/11780274_21

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Algebra Volume 162 || The design of Maple: A compact, portable, and powerful computer algebra system

✍ Hulzen, J. A. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 989 KB

[Lecture Notes in Computer Science] Euro

[Lecture Notes in Computer Science] Eurocal '87 Volume 378 || Application of a structured LISP system to computer algebra

✍ Davenport, James H. 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 626 KB

[Lecture Notes in Computer Science] Algo

[Lecture Notes in Computer Science] Algorithms in Modern Mathematics and Computer Science Volume 122 || Algorithms and algebra

✍ Ershov, Andrei P.; Knuth, Donald E. 📂 Article 📅 1981 🏛 Springer Berlin Heidelberg ⚖ 457 KB

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Kleene Algebra with Relations

✍ Berghammer, Rudolf; Möller, Bernhard; Struth, Georg 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 245 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 6859 || Context-Free Languages, Coalgebraically

✍ Corradini, Andrea; Klin, Bartek; Cîrstea, Corina 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 244 KB

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submi

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Extension Properties of Boolean Contact Algebras

✍ Kahl, Wolfram; Griffin, Timothy G. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 278 KB