Travelled to:
1 × Spain
Collaborated with:
R.Gilleron A.Lemay J.Niehren
Talks about:
determinist (1) automata (1) inclus (1) effici (1) check (1) tree (1) dtds (1)
Person: Jérôme Champavère
DBLP: Champav=egrave=re:J=eacute=r=ocirc=me
Contributed to:
Wrote 1 papers:
- LATA-2008-ChampavereGLN #automaton #performance
- Efficient Inclusion Checking for Deterministic Tree Automata and DTDs (JC, RG, AL, JN), pp. 184–195.