𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 947 || An initial-algebra approach to directed acyclic graphs

✍ Scribed by Möller, Bernhard

Book ID
120353766
Publisher
Springer Berlin Heidelberg
Year
1994
Weight
991 KB
Category
Article
ISBN
3540494456

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1422 || Layered graph traversals and Hamiltonian path problems — An algebraic approach
✍ Jeuring, Johan 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 949 KB

This Book Consitutes The Refereed Proceedings Of The 4th International Conference On Mathematics Of Program Construction, Mpc'98, Held In Marstrand, Near Goteborg, Sweden, In June 1998. The 17 Revised Full Papers Presented Were Selected From 57 Submissions; Also Included Are Three Invited Contributi

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Volume 7860 || The Algebra of Directed Acyclic Graphs
✍ Coecke, Bob; Ong, Luke; Panangaden, Prakash 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 248 KB

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume repre