✦ LIBER ✦

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

✍ Scribed by Voronkov, A.

Book ID: 120535594
Publisher: Springer Berlin Heidelberg
Year: 1992
Weight: 995 KB
Category: Article
ISBN: 3540470832
DOI: 10.1007/3-540-55460-2_24

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] 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] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 822 || Higher-Order Abstract Syntax with induction in Coq

✍ Pfenning, Frank 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 857 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 631 || Interprocedural dynamic slicing

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

[Lecture Notes in Computer Science] Gene

[Lecture Notes in Computer Science] Genetic Programming Volume 7244 || Cartesian Genetic Programming for Memristive Logic Circuits

✍ Moraglio, Alberto; Silva, Sara; Krawiec, Krzysztof; Machado, Penousal; Cotta, Ca 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 248 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming Volume 4079 || TOAST: Applying Answer Set Programming to Superoptimisation

✍ Etalle, Sandro; Truszczyński, Mirosław 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 402 KB

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This volume presents 20 revised full papers and 6 application papers together with 2 invited talks, 2 tutorials and special interest papers,