Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Vacher, Camille"'
Publikováno v:
Logical Methods in Computer Science, Volume 9, Issue 2 (April 2, 2013) lmcs:1161
We define a class of ranked tree automata TABG generalizing both the tree automata with local tests between brothers of Bogaert and Tison (1992) and with global equality and disequality constraints (TAGED) of Filiot et al. (2007). TABG can test for e
Externí odkaz:
http://arxiv.org/abs/1302.6960
Publikováno v:
In Information and Computation March 2011 209(3):486-512
Autor:
Vacher, Camille
La question de la place de l’écrivain, du poète, de l’artiste, du lecteur, du spectateur s’impose à nous au cours de nos études en école d’art. Nous développons alors toute une démarche en édition où la typographie prend une place ce
Externí odkaz:
http://www.theses.fr/2018LIMO0022/document
Autor:
Vacher, Camille
Publikováno v:
Linguistique. Université de Limoges, 2018. Français. ⟨NNT : 2018LIMO0022⟩
The question of the place of the writer, the poet, the artist, the reader, the spectator is essential to us during our studies in art school. We develop a publishing approach where typography takes center place. Diversion of the book object, apprehen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55a44e01d131e352197a27b14f2c8c29
https://tel.archives-ouvertes.fr/tel-01973005
https://tel.archives-ouvertes.fr/tel-01973005
Autor:
Vacher, Camille
Nous étudions des classes d'automates à états finis calculant sur les arbres, étendus par des contraintes permettant de tester des égalités et diségalités entre sous-arbres. Nous nous concentrons sur des automates d'arbres à contraintes glob
Externí odkaz:
http://www.theses.fr/2010DENS0043/document
Autor:
Vacher, Camille
Publikováno v:
Other [cs.OH]. École normale supérieure de Cachan-ENS Cachan, 2010. English. ⟨NNT : 2010DENS0043⟩
We study here several classes of finite state automata running on trees, extended with constraints that allow to test for equalities or disequalities between subterms. We focus on tree automata with global constraints where the tests are done dependi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::51d6a6ce37bbf8b6400b01471def6055
https://theses.hal.science/tel-00598494
https://theses.hal.science/tel-00598494
Publikováno v:
Language & Automata Theory & Applications (9783642009815); 2009, p446-457, 12p
This book constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. The 58 revised full papers presented together with 3 invited le