|
On birooted trees
- Walking automata in free inverse monoids,
in #sofsem#, #lncs# 9587, pp 314--328, 2016 (hal)
(pdf).
- On Labeled Birooted Trees Languages: Algebras, Automata and Logic,
#ic#
243:222--248,
2015
(doi)
(hal)
(pdf).
- A syntactic congruence for languages of birooted trees
(with
A. Blumensath),
Semigroup Forum
,
2014
(doi)
(hal)
(pdf).
invited,tree, word, graph, MSO, birooted, adequate, language, application
2014
bc
hal-00879463
Novy Smokovec, Slovaquia
Towards a higher dimensional string theory for the modeling of computerized systems
RR-1477-13
V. Geffert et al.
http://hal.archives-ouvertes.fr/hal-00879463
01
8327
7--20
#lncs#
Jan14a
#springer#
http:./Talks/Sofsem2014.pdf
#sofsem#
10.1007/978-3-319-04298-5_2
- Algebras, automata and logic for languages of labeled birooted trees,
in #icalp#, #lncs# 7966, pp 318-329, 2013
(doi)
(hal)
(pdf).
- Mod\'elisation alg\'ebrique du diner des philosophes
(with
A. Dicky),
in Mod\'elisation des Syst\`emes R\'eactifs (MSR), in Journal Europ\'een des Syst\`emes Automatis\'es (JESA Volume 47 - no 1-2-3/2013), 2013
(doi)
(hal)
(pdf).
- Vers une mod\'elisation combinatoire des structures rythmiques simples de la musique,
Revue Francophone d'Informatique Musicale (RFIM)
2,
2012 (hal)
(pdf).
|