5570 results in Programming Languages and Applied Logic
10 - Removing duplicates
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 64-72
-
- Chapter
- Export citation
27 - Orderly insertion
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 231-241
-
- Chapter
- Export citation
5 - Sorting pairwise sums
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 27-32
-
- Chapter
- Export citation
29 - The Johnson–Trotter algorithm
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 251-257
-
- Chapter
- Export citation
Contents
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp vii-viii
-
- Chapter
- Export citation
26 - The Schorr–Waite algorithm
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 221-230
-
- Chapter
- Export citation
18 - Planning solves the Rush Hour problem
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 136-146
-
- Chapter
- Export citation
7 - Building a tree with minimum height
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 41-49
-
- Chapter
- Export citation
11 - Not the maximum segment sum
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 73-78
-
- Chapter
- Export citation
16 - The Boyer–Moore algorithm
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 117-126
-
- Chapter
- Export citation
17 - The Knuth–Morris–Pratt algorithm
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 127-135
-
- Chapter
- Export citation
6 - Making a century
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 33-40
-
- Chapter
- Export citation
15 - All the common prefixes
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 112-116
-
- Chapter
- Export citation
20 - The Countdown problem
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 156-167
-
- Chapter
- Export citation
2 - A surpassing problem
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 7-11
-
- Chapter
- Export citation
Preface
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp ix-xii
-
- Chapter
- Export citation
12 - Ranking suffixes
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 79-90
-
- Chapter
- Export citation
1 - The smallest free number
-
- Book:
- Pearls of Functional Algorithm Design
- Published online:
- 05 March 2013
- Print publication:
- 16 September 2010, pp 1-6
-
- Chapter
- Export citation
Bounded super real closed rings
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 220-237
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp i-vi
-
- Chapter
- Export citation