𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science Logic Volume 5771 || Confluence of Pure Differential Nets with Promotion

✍ Scribed by Grädel, Erich; Kahle, Reinhard


Book ID
115451131
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
424 KB
Category
Article
ISBN
3642040276

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES