6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
On a paper by Castelli, Mignosi, Restivo
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 373-377
- Print publication:
- September 2000
-
- Article
- Export citation
Local Transition Functions of Quantum Turing Machines
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 379-402
- Print publication:
- September 2000
-
- Article
- Export citation
Return words in Sturmian and episturmian words
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 343-356
- Print publication:
- September 2000
-
- Article
- Export citation
A Lower Bound For Reversible Automata
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 331-341
- Print publication:
- September 2000
-
- Article
- Export citation
A Space Lower Bound for Acceptance by One-Way Π2-Alternating Machines
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 357-372
- Print publication:
- September 2000
-
- Article
- Export citation
Complexité et automates cellulaires linéaires
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 403-423
- Print publication:
- September 2000
-
- Article
- Export citation
Index
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 408-417
-
- Chapter
- Export citation
11 - Second-order logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 345-366
-
- Chapter
- Export citation
Symbols and notations
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 404-407
-
- Chapter
- Export citation
6 - Normalization for natural deduction
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 178-229
-
- Chapter
- Export citation
7 - Resolution
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 230-257
-
- Chapter
- Export citation
Solutions to selected exercises
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 367-378
-
- Chapter
- Export citation
4 - Cut elimination with applications
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 92-146
-
- Chapter
- Export citation
3 - Gentzen systems
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 60-91
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805217/79111/cover/9780521779111.jpg)
Basic Proof Theory
-
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000
2 - N-systems and H-systems
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 35-59
-
- Chapter
- Export citation
5 - Bounds and permutations
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 147-177
-
- Chapter
- Export citation
8 - Categorical logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 258-282
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 379-403
-
- Chapter
- Export citation
Contents
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp v-viii
-
- Chapter
- Export citation