✦ LIBER ✦

Branching-time logic programming: the language Cactus and its applications

✍ Scribed by P. Rondogiannis; M. Gergatsoulis; T. Panayiotopoulos

Book ID: 114107572
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 290 KB
Volume: 24
Category: Article
ISSN: 0096-0551
DOI: 10.1016/s0096-0551(98)00009-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The “pattern associative memory” and its

The “pattern associative memory” and its use in logic programming language processors

✍ Takuya Yasuda; Satoshi Igarashi; Oichi Atoda; Nobuo Saito 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 839 KB

A constraint logic programming language

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS

✍ Kunihiko Hiraishi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 806 KB

Parallel Logic Programming in parlog: th

Parallel Logic Programming in parlog: the Language and its Implementation by Steve Gregory: Published by Addison-Wesley, 217pp. £17.95

✍ Greg Michaelson 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 108 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

✍ Ölveczky, Peter Csaba 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 281 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions.

The programming language LISP: Its opera

The programming language LISP: Its operation and applications: E. C. Berkeley and D. G. Bobrow (editors). The M.I.T. Press, 1966. $5.00

✍ L. Monrad-Krohn 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 85 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || The unification of infinite sets of terms and its applications

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 753 KB