6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Preface
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp xiii-xx
-
- Chapter
- Export citation
15 - Theorem-proving support in programming language semantics
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 337-362
-
- Chapter
- Export citation
6 - A simple type-theoretic language: Mini-TT
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 139-164
-
- Chapter
- Export citation
8 - Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 169-184
-
- Chapter
- Export citation
Palindromes in infinite ternary words
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 43 / Issue 4 / October 2009
- Published online by Cambridge University Press:
- 15 September 2009, pp. 687-702
- Print publication:
- October 2009
-
- Article
- Export citation
The Regular Excluded Minors for Signed-Graphic Matroids
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 953-978
-
- Article
- Export citation
The t-Improper Chromatic Number of Random Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 19 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 09 September 2009, pp. 87-98
-
- Article
- Export citation
Two extensions of system F with (co)iteration and primitive (co)recursion principles
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 43 / Issue 4 / October 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 703-766
- Print publication:
- October 2009
-
- Article
- Export citation
Economical Elimination of Cycles in the Torus
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 619-627
-
- Article
- Export citation
On the Random Satisfiable Process
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 775-801
-
- Article
- Export citation
On 14-Cycle-Free Subgraphs of the Hypercube
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 725-729
-
- Article
- Export citation
On Colourings of Hypergraphs Without Monochromatic Fano Planes
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 803-818
-
- Article
- Export citation
Introduction
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 617-618
-
- Article
- Export citation
CPC volume 18 issue 5 Cover and Back matter
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. b1-b4
-
- Article
-
- You have access
- Export citation
Efficient Graph Packing via Game Colouring
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 765-774
-
- Article
- Export citation
A Note on Universal and Canonically Coloured Sequences
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 683-689
-
- Article
- Export citation
Conflict-Free Colourings of Graphs and Hypergraphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 819-834
-
- Article
- Export citation
On Families of Subsets With a Forbidden Subposet
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 731-748
-
- Article
- Export citation
CPC volume 18 issue 5 Cover and Front matter
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. f1-f3
-
- Article
-
- You have access
- Export citation
Concentration on the Discrete Torus Using Transportation
-
- Journal:
- Combinatorics, Probability and Computing / Volume 18 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 835-860
-
- Article
- Export citation