5570 results in Programming Languages and Applied Logic
On some problems in computable topology
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 221-254
-
- Chapter
- Export citation
Proofnets for S5: Sequents and circuits for modal logic
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 151-172
-
- Chapter
- Export citation
Isomorphisms and definable relations on computable models
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 26-45
-
- Chapter
- Export citation
Speakers and Titles
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp xi-xiv
-
- Chapter
- Export citation
Introduction
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp ix-x
-
- Chapter
- Export citation
Recursion on the partial continuous functionals
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 173-201
-
- Chapter
- Export citation
Thread algebra and risk assessment services
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 1-17
-
- Chapter
- Export citation
4 - Further Reading
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 53-54
-
- Chapter
- Export citation
Model-Based Software Testing and Analysis with C#
-
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007
13 - Further Reading
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 219-220
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp i-iv
-
- Chapter
- Export citation
7 - Structuring Model Programs with Features and Composition
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 115-136
-
- Chapter
- Export citation
11 - Analyzing Systems with Complex State
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 183-190
-
- Chapter
- Export citation
2 - Why We Need Model-Based Testing
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 13-31
-
- Chapter
- Export citation
12 - Testing Systems with Complex State
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 191-218
-
- Chapter
- Export citation
17 - Further Reading
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 275-278
-
- Chapter
- Export citation
B - Command Reference
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 308-314
-
- Chapter
- Export citation
16 - Reactive Systems
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 259-274
-
- Chapter
- Export citation
1 - Describe, Analyze, Test
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 3-12
-
- Chapter
- Export citation
III - Systems with Complex State
-
- Book:
- Model-Based Software Testing and Analysis with C#
- Published online:
- 02 March 2010
- Print publication:
- 12 November 2007, pp 153-154
-
- Chapter
- Export citation