✦ LIBER ✦

[Lecture Notes in Computer Science] Logic Programming '85 Volume 221 || Zero : Frame + prolog

✍ Scribed by Wada, Eiiti

Book ID: 121801635
Publisher: Springer Berlin Heidelberg
Year: 1986
Weight: 1003 KB
Category: Article
ISBN: 3540398201
DOI: 10.1007/3-540-16479-0_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories

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

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming Volume 592 || Abstract syntax and logic programming

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

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 698 || Prolog with arrays and bounded quantifications

✍ Voronkov, Andrei 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 688 KB

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Logic continuations

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 726 KB

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Memory performance of Lisp and Prolog programs

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 424 KB

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || P-Prolog: A parallel logic language based on exclusive relation

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 714 KB