6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
On Arithmetic Progressions of Cycle Lengths in Graphs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 9 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 369-373
-
- Article
- Export citation
Tutte Polynomials of Perfect Matroid Designs
-
- Journal:
- Combinatorics, Probability and Computing / Volume 9 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 363-367
-
- Article
- Export citation
Finite presentability of strongly finite dilators
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 425-431
- Print publication:
- November 2000
-
- Article
- Export citation
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 549-564
- Print publication:
- November 2000
-
- Article
- Export citation
Characteristic Formulae for Timed Automata
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 565-584
- Print publication:
- November 2000
-
- Article
- Export citation
Codes générateurs minimaux de langages de mots bi-infinis
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 585-596
- Print publication:
- November 2000
-
- Article
- Export citation
Cutwidth of the r-dimensional Mesh of d-ary Trees
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 515-519
- Print publication:
- November 2000
-
- Article
- Export citation
Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 521-548
- Print publication:
- November 2000
-
- Article
- Export citation
Domain-Free λµ-Calculus
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 433-466
- Print publication:
- November 2000
-
- Article
- Export citation
Computing the prefix of an automaton
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 503-514
- Print publication:
- November 2000
-
- Article
- Export citation
Two-variable word equations
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 467-501
- Print publication:
- November 2000
-
- Article
- Export citation
11 - Sense of Direction and Orientation
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 356-395
-
- Chapter
- Export citation
3 - Communication Protocols
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 74-102
-
- Chapter
- Export citation
6 - Wave and Traversal Algorithms
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 181-226
-
- Chapter
- Export citation
Preface
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp xi-xii
-
- Chapter
- Export citation
Part Three - Fault Tolerance
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 425-426
-
- Chapter
- Export citation
Part Two - Fundamental Algorithms
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 179-180
-
- Chapter
- Export citation
9 - Anonymous Networks
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 307-334
-
- Chapter
- Export citation
13 - Fault Tolerance in Distributed Systems
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 427-436
-
- Chapter
- Export citation
4 - Routing Algorithms
-
- Book:
- Introduction to Distributed Algorithms
- Published online:
- 05 June 2012
- Print publication:
- 28 September 2000, pp 103-154
-
- Chapter
- Export citation