𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1103 || Design of a proof assistant

✍ Scribed by Ganzinger, Harald

Book ID
115464300
Publisher
Springer Berlin Heidelberg
Year
1996
Weight
20 KB
Category
Article
ISBN
3540685960

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[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.

[Lecture Notes in Computer Science] Alge
[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Circular Coinduction: A Proof Theoretical Foundation
✍ Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej πŸ“‚ Article πŸ“… 2009 πŸ› Springer Berlin Heidelberg 🌐 German βš– 332 KB

This Book Constitutes The Proceedings Of The Third International Conference On Algebra And Coalgebra In Computer Science, Calco 2009, Formed In 2005 By Joining Cmcs And Wadt. This Year The Conference Was Held In Udine, Italy, September 7-10, 2009. The 23 Full Papers Were Carefully Reviewed And Selec