✦ LIBER ✦

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

✍ Scribed by Kahl, Wolfram; Griffin, Timothy G.

Book ID: 118131938
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 278 KB
Category: Article
ISBN: 3642333141
DOI: 10.1007/978-3-642-33314-9_23

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Relation Algebras, Matrices, and Multi-valued Decision Diagrams

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

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Continuous Relations and Richardson’s Theorem

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

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Towards Certifiable Implementation of Graph Transformation via Relation Categories

✍ Kahl, Wolfram; Griffin, Timothy G. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 295 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] Rela

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures

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

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relational Methods in Computer Science Volume 3929 || Relational Representability for Algebras of Substructural Logics

✍ MacCaull, Wendy; Winter, Michael; Düntsch, Ivo 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 228 KB

This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274. The 17 revised full papers presented together with 3