Login / Signup

Certifying a Tree Automata Completion Checker.

Benoît BoyerThomas GenetThomas P. Jensen
Published in: IJCAR (2008)
Keyphrases