5570 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp xix-xxii
-
- Chapter
- Export citation
23 - Predefined Library
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 633-694
-
- Chapter
- Export citation
24 - Container Library
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 699-780
-
- Chapter
- Export citation
15 - Exceptions
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 361-384
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 3-10
-
- Chapter
- Export citation
A3 Syntax
-
- Book:
- Programming in Ada 2012
- Published online:
- 05 July 2014
- Print publication:
- 19 June 2014, pp 873-900
-
- Chapter
- Export citation
Alan Turing and the other theory of computation (expanded)
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 48-69
-
- Chapter
- Export citation
Turing's legacy: developments from Turing's ideas in logic
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp vii-x
-
- Chapter
- Export citation
Computable model theory
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 124-194
-
- Chapter
- Export citation
Turing and the development of computational complexity
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 299-328
-
- Chapter
- Export citation
Step by recursive step: Church's analysis of effective calculability
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 434-466
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp i-iv
-
- Chapter
- Export citation
Musings on Turing's Thesis
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 386-396
-
- Chapter
- Export citation
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 195-252
-
- Chapter
- Export citation
Turing's Legacy
- Developments from Turing's Ideas in Logic
-
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014
Turing machines to word problems
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 329-385
-
- Chapter
- Export citation
Higher generalizations of the Turing Model
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 397-433
-
- Chapter
- Export citation
Turing in Quantumland
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 70-89
-
- Chapter
- Export citation
Computability theory, algorithmic randomness and Turing's anticipation
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 90-123
-
- Chapter
- Export citation
Computability and analysis: the legacy of Alan Turing
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 1-47
-
- Chapter
- Export citation