5571 results in Programming Languages and Applied Logic
References
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 131-135
-
- Chapter
- Export citation
Reflections
- from Symposium program
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 443-444
-
- Chapter
- Export citation
Symposium program
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 441-442
-
- Chapter
- Export citation
The proof-theoretic analysis of the Suslin operator in applicative theories
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 270-292
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp i-iv
-
- Chapter
- Export citation
On extensionality, uniformity and comprehension in the theories of operations and classes
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 251-269
-
- Chapter
- Export citation
Calculations by man and machine: conceptual analysis*
- from PART IV - PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 390-409
-
- Chapter
- Export citation
Dedication
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp v-vi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805218/08149/cover/9780521808149.jpg)
Specifying Software
- A Hands-On Introduction
-
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002
Appendices
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 255-256
-
- Chapter
- Export citation
9 - Regular Languages
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 191-206
-
- Chapter
- Export citation
B - Data Representations
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 107-108
-
- Chapter
- Export citation
Introduction to Part A
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 13-14
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp i-iv
-
- Chapter
- Export citation
A - Algorithms
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 11-12
-
- Chapter
- Export citation
6 - Data Representation: Additional Examples
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 125-154
-
- Chapter
- Export citation
2 - Verifying Algorithms: Basic Techniques
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 31-60
-
- Chapter
- Export citation
Introduction
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 1-10
-
- Chapter
- Export citation
Introduction to Part B
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 109-110
-
- Chapter
- Export citation
10 - Context-Free Languages
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 207-226
-
- Chapter
- Export citation