6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
2 - Algebraic Specifications in PSF
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 9-46
-
- Chapter
- Export citation
References
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 189-192
-
- Chapter
- Export citation
3 - Simple Protocols
-
-
- Book:
- Algebraic Specification of Communication Protocols
- Published online:
- 03 May 2010
- Print publication:
- 16 September 1993, pp 47-70
-
- Chapter
- Export citation
Contents
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp v-vi
-
- Chapter
- Export citation
References
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 143-160
-
- Chapter
- Export citation
4 - Statistical physics
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 54-70
-
- Chapter
- Export citation
1 - The complexity of enumeration
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 1-19
-
- Chapter
- Export citation
6 - Complexity questions
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 95-109
-
- Chapter
- Export citation
Complexity: Knots, Colourings and Countings
-
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993
Preface
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp vii-viii
-
- Chapter
- Export citation
7 - The complexity of uniqueness and parity
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 110-123
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp i-iv
-
- Chapter
- Export citation
2 - Knots and links
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 20-41
-
- Chapter
- Export citation
Index
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 161-163
-
- Chapter
- Export citation
5 - Link polynomials and the Tait conjectures
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 71-94
-
- Chapter
- Export citation
8 - Approximation and randomisation
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 124-142
-
- Chapter
- Export citation
3 - Colourings, flows and polynomials
-
- Book:
- Complexity: Knots, Colourings and Countings
- Published online:
- 05 August 2013
- Print publication:
- 12 August 1993, pp 42-53
-
- Chapter
- Export citation
6 - Bibliography
-
- Book:
- Efficient Algorithms for Listing Combinatorial Structures
- Published online:
- 14 January 2010
- Print publication:
- 22 April 1993, pp 155-160
-
- Chapter
- Export citation
Index
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 121-124
-
- Chapter
- Export citation
Preface
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp vii-viii
-
- Chapter
- Export citation