5570 results in Programming Languages and Applied Logic
Simple sets and ideals under m-reducibility
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 89-99
-
- Chapter
- Export citation
13 - Iterated consistency
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 225-240
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp i-iv
-
- Chapter
- Export citation
Preface
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp xxi-xxvi
-
- Chapter
- Export citation
List of Figures
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp xiii-xviii
-
- Chapter
- Export citation
Bibliography
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 241-242
-
- Chapter
- Export citation
Contents
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp vii-xii
-
- Chapter
- Export citation
Index
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 243-249
-
- Chapter
- Export citation
3 - Reservations Online: Case Study 1
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 83-129
-
- Chapter
- Export citation
Appendix A - Recommended Practice
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 235-240
-
- Chapter
- Export citation
4 - Web Page Maker: Case Study 2
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 130-168
-
- Chapter
- Export citation
PART II
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 81-82
-
- Chapter
- Export citation
List of Bridge Process Patterns
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp xix-xx
-
- Chapter
- Export citation
7 - Distribution Case: Case Study 5
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 208-234
-
- Chapter
- Export citation
5 - Simulating a Robot Arm: Case Study 3
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 171-191
-
- Chapter
- Export citation
PART I
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 1-2
-
- Chapter
- Export citation
2 - Bridge: A Systematic Process Model
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 48-80
-
- Chapter
- Export citation
6 - Math Tutor: Case Study 4
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 192-207
-
- Chapter
- Export citation
UML by Example
-
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004
PART III
-
- Book:
- UML by Example
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2004, pp 169-170
-
- Chapter
- Export citation