𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Graph Transformations Volume 6372 || A Dynamic Logic for Termgraph Rewriting

✍ Scribed by Ehrig, Hartmut; Rensink, Arend; Rozenberg, Grzegorz; Schürr, Andy

Book ID
118059266
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
254 KB
Category
Article
ISBN
3642159281

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Grap
[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Representing First-Order Logic Using Graphs
✍ Ehrig, Hartmut; Engels, Gregor; Parisi-Presicce, Francesco; Rozenberg, Grzegorz 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 333 KB

This Book Constitutes The Refereed Proceedings Of The Second International Conference On Graph Transformation, Icgt 2004, Held In Rome, Italy, In September/october 2004. The 26 Revised Full Papers Presented Together With Three Invited Contributions And Summaries Of 2 Tutorials And 5 Workshops Were C

[Lecture Notes in Computer Science] Rewr
[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
✍ Ölveczky, Peter Csaba 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 281 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions.