5570 results in Programming Languages and Applied Logic
I - Order Theory of Domains
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp 48-130
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp i-iv
-
- Chapter
- Export citation
O - A Primer on Ordered Sets and Lattices
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp 1-47
-
- Chapter
- Export citation
Introduction to A Compendium of Continuous Lattices
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp xxvii-xxxvi
-
- Chapter
- Export citation
IV - Morphisms and Functors
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp 264-393
-
- Chapter
- Export citation
V - Spectral Theory of Continuous Lattices
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp 394-438
-
- Chapter
- Export citation
VI - Compact Posets and Semilattices
-
- Book:
- Continuous Lattices and Domains
- Published online:
- 13 August 2009
- Print publication:
- 06 March 2003, pp 439-491
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 498-518
-
- Chapter
- Export citation
1 - Declarative programming in AnsProlog*: introduction and preliminaries
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 1-45
-
- Chapter
- Export citation
5 - Reasoning about actions and planning in AnsProlog*
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 199-277
-
- Chapter
- Export citation
Appendix B - Turing machines
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 496-497
-
- Chapter
- Export citation
Contents
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp v-viii
-
- Chapter
- Export citation
8 - Query answering and answer set computing systems
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 382-457
-
- Chapter
- Export citation
4 - Declarative problem solving and reasoning in AnsProlog*
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 170-198
-
- Chapter
- Export citation
6 - Complexity, expressiveness, and other properties of AnsProlog* programs
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 278-344
-
- Chapter
- Export citation
2 - Simple modules for declarative programming with answer sets
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 46-82
-
- Chapter
- Export citation
9 - Further extensions of and alternatives to AnsProlog*
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 458-493
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp i-iv
-
- Chapter
- Export citation
Index of terms
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 522-530
-
- Chapter
- Export citation
Index of notation
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 519-521
-
- Chapter
- Export citation