5571 results in Programming Languages and Applied Logic
7 - Compilation
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 223-270
-
- Chapter
- Export citation
Bibliography
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 449-456
-
- Chapter
- Export citation
9 - Macros: Their Use & Abuse
-
- Book:
- Lisp in Small Pieces
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 311-358
-
- Chapter
- Export citation
6 - Reasoning About Functional Programs
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 213-256
-
- Chapter
- Export citation
3 - Lists
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 69-122
-
- Chapter
- Export citation
5 - Commit Protocols
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 159-190
-
- Chapter
- Export citation
Protocols by Invariants
-
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996
3 - Minimum-hop Route Maintenance
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 74-111
-
- Chapter
- Export citation
Preface
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp vii-viii
-
- Chapter
- Export citation
Index
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 196-198
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp i-iv
-
- Chapter
- Export citation
4 - Connection-management Protocols
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 112-158
-
- Chapter
- Export citation
2 - Link-level Protocols
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 30-73
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 1-29
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp 191-195
-
- Chapter
- Export citation
Contents
-
- Book:
- Protocols by Invariants
- Published online:
- 22 March 2010
- Print publication:
- 13 June 1996, pp v-vi
-
- Chapter
- Export citation
A Hierarchy of domains with totality, but without density
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 233-258
-
- Chapter
- Export citation
On isolating r.e. and isolated d-r.e. degrees
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 61-80
-
- Chapter
- Export citation
Resource bounded genericity
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 1-60
-
- Chapter
- Export citation
On the ∀ ∃ - theory of the factor lattice by the major subset relation
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 139-166
-
- Chapter
- Export citation