6 results
Disjunctive Delimited Control
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 1 / January 2024
- Published online by Cambridge University Press:
- 11 April 2023, pp. 110-131
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Tabling with Sound Answer Subsumption
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 933-949
-
- Article
- Export citation
Contributors
-
-
- Book:
- Investment Law within International Law
- Published online:
- 05 August 2013
- Print publication:
- 01 August 2013, pp viii-xvi
-
- Chapter
- Export citation
DIVISION II: SUN and HELIOSPHERE
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 7 / Issue T28A / December 2011
- Published online by Cambridge University Press:
- 04 April 2012, pp. 61-68
- Print publication:
- December 2011
-
- Article
-
- You have access
- Export citation
Improving Prolog programs: Refactoring for Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 201-215
-
- Article
- Export citation
Minor-monotone Graph Invariants
-
-
- Book:
- Surveys in Combinatorics, 1997
- Published online:
- 29 March 2010
- Print publication:
- 31 July 1997, pp 163-196
-
- Chapter
- Export citation