Nombre de documents trouvés : 81 documents

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

A Hierarchy of Tree-Automatic Structures Finkel O., Todorcevic S. Journal of Symbolic Logic 77, 1 (2012) 350-368 [hal-00638581 - version 1]

Generic representations of abelian groups and extreme amenability Melleray J., Tsankov T. [hal-00607406 - version 1] (08/07/2011)

The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent Grenet B., Koiran P., Portier N., Strozecki Y. [ensl-00607154 - version 1] (08/07/2011)

The Determinacy of Context-Free Games Finkel O. [hal-00648462 - version 1] (05/12/2011)

Uniform Monte-Carlo Model Checking Oudinet J., Denise A., Gaudel M.-C., Lassaigne R., Peyronnet S. FASE 2011, Allemagne (2011) [hal-00644834 - version 1]

Some Problems in Automata Theory Which Depend on the Models of Set Theory Finkel O. RAIRO - Theoretical Informatics and Applications 45, 4 (2011) 383 - 397 [hal-00614658 - version 1]

Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language Finkel O. [hal-00543309 - version 2] (28/07/2011)

Coverage-biased random exploration of large models and application to testing Denise A., Gaudel M.-C., Gouraud S.-D., Lassaigne R., Oudinet J., Peyronnet S. Software Tools for Technology Transfer (STTT) (2011) [inria-00560621 - version 1]

On Decidability Properties of One-Dimensional Cellular Automata Finkel O. Journal of Cellular Automata 6, 2-3 (2011) 181-193 [hal-00371169 - version 2]

The Busy Beaver Competition: a historical survey Michel P. [hal-00396880 - version 2] (15/06/2010)

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

L'URL de cette page est : http://hal.archives-ouvertes.fr/lab/ELM/