𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1997 Volume 1295 || A hierarchy for (1, +k)-branching programs with respect to k

✍ Scribed by Prívara, Igor; Ružička, Peter

Book ID
111900787
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
784 KB
Category
Article

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2007 Volume 4708 || A Linear Time Algorithm for the k Maximal Sums Problem
✍ Kučera, Luděk; Kučera, Antonín 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 536 KB

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks add

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming
✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming
✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p

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