6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
An aperiodicity problem for multiwords
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 23 November 2011, pp. 33-50
- Print publication:
- January 2012
-
- Article
- Export citation
Three complexity functions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 23 November 2011, pp. 67-76
- Print publication:
- January 2012
-
- Article
- Export citation
On Abelian repetition threshold
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 46 / Issue 1 / January 2012
- Published online by Cambridge University Press:
- 14 November 2011, pp. 147-163
- Print publication:
- January 2012
-
- Article
- Export citation
Closure properties of hyper-minimized automata
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 45 / Issue 4 / November 2011
- Published online by Cambridge University Press:
- 14 November 2011, pp. 459-466
- Print publication:
- November 2011
-
- Article
- Export citation
Recursive algorithm for parity games requires exponential time
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 45 / Issue 4 / November 2011
- Published online by Cambridge University Press:
- 14 November 2011, pp. 449-457
- Print publication:
- November 2011
-
- Article
- Export citation
Corrigendum: On multiperiodic words
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 45 / Issue 4 / November 2011
- Published online by Cambridge University Press:
- 23 November 2011, pp. 467-469
- Print publication:
- November 2011
-
- Article
- Export citation
CPC volume 20 issue 6 Cover and Back matter
-
- Journal:
- Combinatorics, Probability and Computing / Volume 20 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 27 October 2011, pp. b1-b4
-
- Article
-
- You have access
- Export citation
CPC volume 20 issue 6 Cover and Front matter
-
- Journal:
- Combinatorics, Probability and Computing / Volume 20 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 27 October 2011, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Computing the Partition Function for Perfect Matchings in a Hypergraph
-
- Journal:
- Combinatorics, Probability and Computing / Volume 20 / Issue 6 / November 2011
- Published online by Cambridge University Press:
- 17 October 2011, pp. 815-835
-
- Article
- Export citation
7 - Probabilistic bisimulation
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 290-326
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp xi-xiv
-
- Chapter
- Export citation
5 - Howe's method for higher-order languages
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 197-232
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp viii-x
-
- Chapter
- Export citation
Contents
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp v-vii
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811070/04979/cover/9781107004979.jpg)
Advanced Topics in Bisimulation and Coinduction
-
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011
4 - Bisimulation and logic
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 173-196
-
- Chapter
- Export citation
2 - An introduction to (co)algebra and (co)induction
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 38-99
-
- Chapter
- Export citation
6 - Enhancements of the bisimulation proof method
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 233-289
-
- Chapter
- Export citation
1 - Origins of bisimulation and coinduction
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 1-37
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp i-iv
-
- Chapter
- Export citation