5570 results in Programming Languages and Applied Logic
14 - Linear constraints over continuous and integer variables
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 278-304
-
- Chapter
- Export citation
Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 87-88
-
- Chapter
- Export citation
3 - Arithmetic in Prolog
- from Part II - Elements of Prolog
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 41-58
-
- Chapter
- Export citation
Index
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 327-329
-
- Chapter
- Export citation
1 - Logic programming and pure Prolog
- from Part I - Logic programming paradigm
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 3-28
-
- Chapter
- Export citation
Part II - Elements of Prolog
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 39-40
-
- Chapter
- Export citation
11 - Top-down search with active constraints
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 205-229
-
- Chapter
- Export citation
2 - A reconstruction of pure Prolog
- from Part I - Logic programming paradigm
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 29-38
-
- Chapter
- Export citation
9 - The suspend library
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 155-182
-
- Chapter
- Export citation
Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 183-184
-
- Chapter
- Export citation
Constraint Logic Programming using Eclipse
-
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006
7 - Intermezzo: Iteration in ECLiPSe
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 110-132
-
- Chapter
- Export citation
4 - Control and meta-programming
- from Part II - Elements of Prolog
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 59-75
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 323-326
-
- Chapter
- Export citation
12 - Optimisation with active constraints
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 230-255
-
- Chapter
- Export citation
5 - Manipulating structures
- from Part II - Elements of Prolog
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 76-86
-
- Chapter
- Export citation
Dedication
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp xvii-xviii
-
- Chapter
- Export citation
Bibliographic remarks
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 320-322
-
- Chapter
- Export citation
The theory of is undecidable
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 326-344
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp v-vi
-
- Chapter
- Export citation