5570 results in Programming Languages and Applied Logic
Logic Colloquium 2007
-
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010
Decorated linear order types and the theory of concatenation
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 1-13
-
- Chapter
- Export citation
Proof theory and meaning: On the context of deducibility
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 204-219
-
- Chapter
- Export citation
Introduction
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp ix-x
-
- Chapter
- Export citation
Proof mining in practice
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 82-91
-
- Chapter
- Export citation
Pillay's conjecture and its solution—a survey
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 177-203
-
- Chapter
- Export citation
Speakers and Titles
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp xi-xiv
-
- Chapter
- Export citation
Cardinal structure under AD
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 92-131
-
- Chapter
- Export citation
Three lectures on automatic structures
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 132-176
-
- Chapter
- Export citation
Analytic combinatorics of the transfinite: A unifying Tauberian perspective
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 238-267
-
- Chapter
- Export citation
Cardinal preserving elementary embeddings
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 14-31
-
- Chapter
- Export citation
Proof interpretations and majorizability
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 32-81
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp vii-viii
-
- Chapter
- Export citation
3 - A mechanical press controller
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 100-148
-
- Chapter
- Export citation
Index
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 584-586
-
- Chapter
- Export citation
Modeling in Event-B
- System and Software Engineering
-
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010
Acknowledgments
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp xxv-xxvi
-
- Chapter
- Export citation
12 - Routing algorithm for a mobile agent
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 387-405
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 1-23
-
- Chapter
- Export citation
17 - Train system
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 508-549
-
- Chapter
- Export citation