Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Carayol, Arnaud - Institut d'électronique et d'informatique Gaspard-Monge, Université de Paris-Est Marne-la-Vallée
On rational trees Arnaud Carayol and Christophe Morvan
Regular sets of higher-order pushdown stacks Arnaud Carayol
Acta Informatica manuscript No. (will be inserted by the editor)
Logical Methods in Computer Science Vol. 2 (2:6) 2006, pp. 124
Positional Strategies for Higher-Order Pushdown Parity Games
On the representation of McCarthy's amb in the -calculus
On Equivalent Representations of Infinite Arnaud Carayol and Thomas Colcombet
On the representation of McCarthy's amb in the -calculus
The Kleene equality for graphs Arnaud Carayol and Didier Caucal
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-order Pushdown
Winning regions of higher-order pushdown games C.-H. L. Ong
MSO on the Infinite Binary Tree: Choice and Arnaud Carayol and Christof Loding
Linearly Bounded Infinite Graphs Arnaud Carayol1
