Accueil
Déposer
S'authentifier
S'inscrire
Consultation
Par auteur
Par collection
Par laboratoire de l'Ecole
Par domaine
Par type de publication
Par année de publication
Recherche
Recherche simple
Recherche avancée
Recherche sur HAL
Accès par identifiant
Services
S'abonner
Exporter une liste de publications
Créer une page Web
Consulter les laboratoires connus de HAL
Aide
Manuel et informations
Tutoriels
À propos
Aide
version française
english version
.:.
Consultation
>
Par auteur
> Aubrun .:.
6 documents classés par :
date de publication, écriture ou dépôt
titre du document
1er auteur
Type de documents
Date de dépôt
Sofic Tree-Shifts
Aubrun N., Béal M.-P.
Theory of Computing Systems
?
, ? (2013) ? [hal-00627797 - version 2]
Sofic Tree-Shifts
Aubrun N., Béal M.-P.
Theory of Computing Systems
?
, ? (2013) ? [hal-00627797 - version 1]
Tree-shifts of finite type
Aubrun N., Béal M.-P.
Theoretical Computer Science
459
(2012) 16-25 [hal-00627800 - version 1]
Dynamique symbolique des systèmes 2D et des arbres infinis
Aubrun N.
Université Paris-Est (22/06/2011), Marie-Pierre Béal;Mathieu Sablik (Dir.) [pastel-00664331 - version 1]
Sofic and Almost of Finite Type Tree-Shifts
Aubrun N., Béal M.-P.
Dans
5th International Computer Science Symposium in Russia (CSR'10)
-
5th International Computer Science Symposium in Russia (CSR'10)
, Russie, Fédération De (2010) [hal-00620400 - version 1]
Decidability of conjugacy of tree shifts of finite type
Aubrun N., Béal M.-P.
Dans
36th International Colloquium on Automata, Languages and Programming (ICALP'09)
-
36th International Colloquium on Automata, Languages and Programming (ICALP'09)
, États-Unis (2009) [hal-00620305 - version 1]
An Order on Sets of Tilings Corresponding to an Order on Languages
Aubrun N., Sablik M.
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
, Allemagne (2009) [inria-00359625 - version 1]