BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
Collaborated with:
T.Genet T.P.Jensen
Talks about:
automata (1) complet (1) checker (1) certifi (1) tree (1)

Person: Benoît Boyer

DBLP DBLP: Boyer:Beno=icirc=t

Contributed to:

IJCAR 20082008

Wrote 1 papers:

IJCAR-2008-BoyerGJ #automaton
Certifying a Tree Automata Completion Checker (BB, TG, TPJ), pp. 523–538.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.