6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Easy lambda-terms are not always simple
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 23 February 2012, pp. 291-314
- Print publication:
- April 2012
-
- Article
- Export citation
Foreword ICTCS 2010 special issue
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 21 February 2012, p. 201
- Print publication:
- April 2012
-
- Article
-
- You have access
- Export citation
Formal Methods to Improve Public Administration Business Processes
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 2 / April 2012
- Published online by Cambridge University Press:
- 21 February 2012, pp. 203-229
- Print publication:
- April 2012
-
- Article
- Export citation
Minimum Degree and Disjoint Cycles in Claw-Free Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 129-139
-
- Article
- Export citation
Homeomorphically Irreducible Spanning Trees in Locally Connected Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 107-111
-
- Article
- Export citation
Edge Colourings of Graphs Avoiding Monochromatic Matchings of a Given Size
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 203-218
-
- Article
- Export citation
Hypergraphs with No Cycle of a Given Length
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 193-201
-
- Article
- Export citation
A Pair of Forbidden Subgraphs and 2-Factors
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 149-158
-
- Article
- Export citation
Most Probably Intersecting Families of Subsets
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 219-227
-
- Article
- Export citation
Critical Probabilities of 1-Independent Percolation Models
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 11-22
-
- Article
- Export citation
The Phase Transition in the Configuration Model
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 265-299
-
- Article
- Export citation
List Colourings of Regular Hypergraphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 315-322
-
- Article
- Export citation
2-Cancellative Hypergraphs and Codes
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 159-177
-
- Article
- Export citation
Large Rainbow Matchings in Edge-Coloured Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 255-263
-
- Article
- Export citation
Degree Ramsey Numbers of Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 229-253
-
- Article
- Export citation
Corrádi and Hajnal's Theorem for Sparse Random Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 23-55
-
- Article
- Export citation
On Even-Degree Subgraphs of Linear Hypergraphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 113-127
-
- Article
- Export citation
Star Versus Two Stripes Ramsey Numbers and a Conjecture of Schelp
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 179-186
-
- Article
- Export citation
The Maximum Number of Triangles in C2k+1-Free Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 187-191
-
- Article
- Export citation
Degree Powers in Graphs: The Erdős–Stone Theorem
-
- Journal:
- Combinatorics, Probability and Computing / Volume 21 / Issue 1-2 / March 2012
- Published online by Cambridge University Press:
- 02 February 2012, pp. 89-105
-
- Article
- Export citation