✦ LIBER ✦

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Narrowing the narrowing space

✍ Scribed by Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog

✍ Glaser, Hugh; Hartel, Pieter; Kuchen, Herbert 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 826 KB

[Lecture Notes in Computer Science] Prog

✍ Bruynooghe, Maurice; Wirsing, Martin 📂 Article 📅 1992 🏛 Springer-Verlag 🌐 German ⚖ 1015 KB

[Lecture Notes in Computer Science] Prog

✍ Hermenegildo, Manuel; Penjam, Jaan 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 935 KB

[Lecture Notes in Computer Science] Prog

✍ Bruynooghe, Maurice; Penjam, Jaan 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 712 KB

[Lecture Notes in Computer Science] Logi

✍ Voronkov, A. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 995 KB

[Lecture Notes in Computer Science] Auto

✍ Brauer, Wilfried 📂 Article 📅 1985 🏛 Springer-Verlag ⚖ 728 KB