Author Info
Name
Affiliation
Papers
MARC DUCOBU
Institut de Mathématique, Université de Mons, Belgique
3
Collaborators
Citations 
PageRank 
5
4
1.12
Referers 
Referees 
References 
11
98
42
Title
Citations
PageRank
Year
Visibly Pushdown Automata: Universality and Inclusion via Antichains.30.432013
Visibly pushdown automata on trees: universality and u-universality00.342012
Antichain-based QBF solving10.352011