✦ LIBER ✦

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

✍ Scribed by Shapiro, Ehud

Book ID: 121703654
Publisher: Springer Berlin Heidelberg
Year: 1986
Weight: 714 KB
Category: Article
ISBN: 3540398317
DOI: 10.1007/3-540-16492-8_80

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 || OLD resolution with tabulation

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

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5110 || On a Graph Calculus for Algebras of Relations

✍ Hodges, Wilfrid; de Queiroz, Ruy 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 250 KB

Edited In Collaboration With Folli, The Association Of Logic, Language And Information, This Book Constitutes The 4th Volume Of The Folli Lnai Subline; Containing The Refereed Proceedings Of The 15th International Workshop On Logic, Language, Information And Computation, Wollic 2008, Held In Edinbur

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 343 || Proving inductive theorems based on term rewriting systems

✍ Grabowski, J.; Lescanne, P.; Wechler, W. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 550 KB

This Volume Contains The Proceedings Of The First International Workshop On Algebraic And Logic Programming Held In Gaussig (german Democratic Republic) From November 14 To 18, 1988. The Workshop Was Devoted To Algebraic Programming, In The Sense Of Programming By Algebraic Specifications And Rewrit

Shapiro, E. (Ed.): Third International C

Shapiro, E. (Ed.): Third International Conference on Logic Programming. Proc. London 1986. Lecture Notes in Computer Science 225. Springer-Verlag, Berlin – Heidelberg – New York – London – Paris – Tokyo 1986, ix, 720 S., DM 82.–

✍ W. Issel 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB