✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1978 Volume 64 || The completeness of propositional dynamic logic

✍ Scribed by Winkowski, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math

✍ Winkowski, J. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 589 KB

[Lecture Notes in Computer Science] Math

✍ Winkowski, J. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 564 KB

[Lecture Notes in Computer Science] Math

✍ Blikle, A. 📂 Article 📅 1975 🏛 Springer Berlin Heidelberg ⚖ 377 KB

[Lecture Notes in Computer Science] Comp

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 638 KB

[Lecture Notes in Computer Science] Math

✍ Wiedermann, Jiří; Hájek, Petr 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 756 KB

[Lecture Notes in Computer Science] Math

✍ Rovan, Branislav; Sassone, Vladimiro; Widmayer, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 237 KB