6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Hereditary properties of words
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 49-65
- Print publication:
- January 2005
-
- Article
- Export citation
How expressions can code for automata
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 217-237
- Print publication:
- January 2005
-
- Article
- Export citation
On the number of dissimilar pfaffian orientations of graphs
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 93-113
- Print publication:
- January 2005
-
- Article
- Export citation
Finding H-partitions efficiently
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 133-144
- Print publication:
- January 2005
-
- Article
- Export citation
Krohn-Rhodes complexity pseudovarieties are not finitely based
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 279-296
- Print publication:
- January 2005
-
- Article
- Export citation
Episturmian morphisms and a Galois theorem on continued fractions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 207-215
- Print publication:
- January 2005
-
- Article
- Export citation
Some decision problems on integer matrices
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 125-131
- Print publication:
- January 2005
-
- Article
- Export citation
Gate circuits in the algebra of transients
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 67-91
- Print publication:
- January 2005
-
- Article
- Export citation
Algebraic and graph-theoretic properties of infinite n-posets
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 305-322
- Print publication:
- January 2005
-
- Article
- Export citation
A note on the Size-Ramsey number of long subdivisions of graphs
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 191-206
- Print publication:
- January 2005
-
- Article
- Export citation
Preface
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. I-VII
- Print publication:
- January 2005
-
- Article
- Export citation
Parity codes
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 263-278
- Print publication:
- January 2005
-
- Article
- Export citation
A sparse dynamic programming algorithm for alignment with non-overlapping inversions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 175-189
- Print publication:
- January 2005
-
- Article
- Export citation
Some results on C-varieties
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 239-262
- Print publication:
- January 2005
-
- Article
- Export citation
Imre Simon: an exceptional graduate student
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 1 / January 2005
- Published online by Cambridge University Press:
- 15 March 2005, pp. 297-304
- Print publication:
- January 2005
-
- Article
- Export citation
Part two - Refereed Articles
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 189-190
-
- Chapter
- Export citation
6 - An Introduction to Uniformity in Ludics
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 236-246
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp ix-x
-
- Chapter
- Export citation
5 - An Axiomatic Approach to Structural Rules for Locative Linear Logic
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 191-235
-
- Chapter
- Export citation
8 - A Topological Correctness Criterion for Multiplicative Non-Commutative Logic
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 283-322
-
- Chapter
- Export citation