5570 results in Programming Languages and Applied Logic
Preface
-
- Book:
- The Object Primer
- Published online:
- 03 March 2010
- Print publication:
- 22 March 2004, pp xxi-xxiv
-
- Chapter
- Export citation
2 - Arithmetical preliminaries
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 15-36
-
- Chapter
- Export citation
6 - Ordinals and inductive definitions
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 87-104
-
- Chapter
- Export citation
SURVEY ARTICLES
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 1-2
-
- Chapter
- Export citation
Logic Colloquium '99
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004
10 - Elementary and classical analysis
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 175-186
-
- Chapter
- Export citation
14 - Iterated reflection
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 241-264
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 1-14
-
- Chapter
- Export citation
7 - Formal languages and the definition of truth
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 105-118
-
- Chapter
- Export citation
RESEARCH ARTICLES
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 49-50
-
- Chapter
- Export citation
On solvable groups and rings definable in o-minimal structures
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 60-67
-
- Chapter
- Export citation
4 - The language of arithmetic
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 53-72
-
- Chapter
- Export citation
Aspects of geometricmodel theory
- from SURVEY ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 30-48
-
- Chapter
- Export citation
5 - The language of analysis
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 73-86
-
- Chapter
- Export citation
A description of the non-sequential execution of Petri nets in partially commutative linear logic
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 152-181
-
- Chapter
- Export citation
The intuitionistic arithmetical hierarchy
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 51-59
-
- Chapter
- Export citation
Inexhaustibility
- A Non-Exhaustive Treatment
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004
Frontmatter
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp i-iv
-
- Chapter
- Export citation
From bounded structural rules to linear logic modalities
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 143-151
-
- Chapter
- Export citation
References
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 293-296
-
- Chapter
- Export citation