Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings


Book Informaton

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Author

Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)

Series

Lecture Notes in Computer Science 4079: Programming and Software Engineering

Year of Publication

2006

Publisher

Springer-Verlag Berlin Heidelberg

Pages

474

Language

en

ISBN

3540366350, 9783540366355

ARI Id

1672263984810


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 3 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 55 entries
Chapters/HeadingsAuthor(s)PagesInfo
Why Use Datalog to Analyze Program
Semantic Web: The Story of the RIFt so F
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Framewor
Tableau Calculi for Answer Set Programmi
Declarative Semantics of Production Rules for Integrity Maintenan
Modules for Prolog Revisit
A Local Algorithm for Incremental Evaluation of Tabled Logic Progra
Memory Reuse for C
Overlapping Rules and Logic Variables in Functional Logic Progra
Towards “Propagation = Logic + Control?
ACD Term Rewriti
Detecting Determinacy in Prolog Progra
Collapsing Closur
Reduced Certificates for Abstraction-Carrying Co
Proving Properties of Constraint Logic Programs by Eliminating Existential Variabl
Justifications for Logic Programs Under Answer Set Semanti
Generality Relations in Answer Set Programmi
Cooperating Answer Set Programmi
Predicate Introduction Under Stable and Well-Founded Semanti
Improving the ISO Prolog Standard by Analyzing Compliance Test Resul
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 55 entries