Back to Search
Start Over
Introduction to the 26th international conference on logic programming special issue.
- Source :
- Theory & Practice of Logic Programming; Jul2010, Vol. 10 Issue 4-6, p361-364, 4p
- Publication Year :
- 2010
-
Abstract
- The article discusses various reports published within the issue which include "Automated Termination Analysis for Logic Programs with Cut," by Peter Schneider-Kamp, Thomas Stroeder, and Alexander Serebrenik; "Transformations of Logic Programs on Infinite Lists," by Alberto Pettorossi, Maurizio Proietti, Valerio Senni;, and "Threads and or-Parallelism Unified," by Vítor Santos Costa and Ricardo Rocha.
- Subjects :
- LOGIC programming
COMPUTER programming
Subjects
Details
- Language :
- English
- ISSN :
- 14710684
- Volume :
- 10
- Issue :
- 4-6
- Database :
- Complementary Index
- Journal :
- Theory & Practice of Logic Programming
- Publication Type :
- Academic Journal
- Accession number :
- 52225600
- Full Text :
- https://doi.org/10.1017/S1471068410000153