𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Etalle, Sandro; Truszczyński, Mirosław

Book ID
121494113
Publisher
Springer Berlin Heidelberg
Year
2006
Tongue
English
Weight
402 KB
Edition
1
Category
Article
ISBN
3540366369

No coin nor oath required. For personal study only.

✦ Synopsis

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, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles. Coverage includes all issues of current research in logic programming.

📜 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.