3 results
Sequential monotonicity for restarting automata
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 41 / Issue 2 / April 2007
- Published online by Cambridge University Press:
- 18 July 2007, pp. 157-175
- Print publication:
- April 2007
-
- Article
- Export citation
Efficient simulation of synchronous systems by multi-speed systems
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 2 / April 2005
- Published online by Cambridge University Press:
- 15 April 2005, pp. 403-419
- Print publication:
- April 2005
-
- Article
- Export citation
Some Results on Random Unsatisfiable k-Sat Instances and Approximation Algorithms Applied to Random Structures
-
- Journal:
- Combinatorics, Probability and Computing / Volume 12 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 20 May 2003, pp. 245-267
-
- Article
- Export citation