✦ 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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

✍ Marcinkowski, Jerzy; Tarlecki, Andrzej 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 218 KB

[Lecture Notes in Computer Science] Theo

✍ Cremers, Armin B.; Kriegel, Hans-Peter 📂 Article 📅 1982 🏛 Springer-Verlag ⚖ 504 KB

[Lecture Notes in Computer Science] Logi

✍ Nerode, Anil; Matiyasevich, Yu. V. 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 801 KB

[Lecture Notes in Computer Science] Comp

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

[Lecture Notes in Computer Science] Logi

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB

[Lecture Notes in Computer Science] Math

✍ Havel, Ivan M.; Koubek, Václav 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 668 KB