Documents Sources Sujets
fr
  • Français (fr)
  • English (en)
  • Español (es)
  • Thème
  • Se connecter
    Mes bibliothèques Mon historique Mes requêtes Mes auteurs Mes alertes

    Olivier Finkel

    Discipline

    Histoire, Philosophie et Sociologie des sciences (3) Economies et finances (2) Linguistique (1)

    Type de document

    Textes imprimés (6)

    Co-auteur

    Pierre Simonnet
    2
    Dominique Lecomte
    1
    Olivier Carton
    1

    Date

    Source

      RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (6)

    Mot-clé

    Relations (2) arbre (1) Set theory (1) Robots (1) Machine theory (1) Language and languages (1) Infinite (1) Continuity (1) Properties (1) Languages (1) Models (1) langues (1)

    Documents écrit par Olivier Finkel (6) | parle de Olivier Finkel (0)

    An upper bound on the complexity of recognizable tree languages
    Textes imprimés
    Olivier Finkel et al. (2015)
    Textes imprimés
    Some problems in automata theory which depend on the models of set theory
    Textes imprimés
    Olivier Finkel (2011)
    Textes imprimés
    Highly undecidable problems for infinite computations
    Textes imprimés
    Olivier Finkel (2009)
    Textes imprimés
    On the continuity set of an Omega rational function
    Textes imprimés
    Olivier Carton et al. (2008)
    Textes imprimés
    Undecidability of topological and arithmetical properties of infinitary rational relations
    Textes imprimés
    Olivier Finkel (2003)
    Textes imprimés
    On the topological complexity of infinitary rational relations
    Textes imprimés
    Olivier Finkel (2003)
    Textes imprimés

    Référentiels | API | À propos | Mentions légales | Contact | Mises à jour