Searching for authors named "Arnaud Carayol" – sorted by Relevance.
-
Regular sets of higher-order pushdown stacks
- Regular sets of higher-order pushdown stacks Arnaud Carayol Irisa – Campus de Beaulieu – 35042
- Cited by 5 (2 self) – Add To MetaCart
-
Tundra Books Online. Available at http://www.tundrabooks.com
- On Equivalent Representations of Infinite Structures Arnaud Carayol and Thomas Colcombet {Arnaud.Carayol
- Cited by 1 (1 self) – Add To MetaCart
-
The Kleene equality for graphs
- The Kleene equality for graphs Arnaud Carayol and Didier Caucal Irisa, Campus de Beaulieu, 35042
- Cited by 1 (0 self) – Add To MetaCart
-
The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata
- Arnaud Carayol 1 and Stefan Wöhrle 2 1 IRISA Rennes, France arnaud.carayol@(email omitted); 2 Lehrstuhl für
- Cited by 26 (2 self) – Add To MetaCart
-
Context-sensitive languages, rational graphs and determinism
- : Arnaud.Carayol@(email omitted); b Liafa – Université de Paris 7 – 2 place Jussieu, case 7014, 75251 Paris Cedex
- Cited by 4 (2 self) – Add To MetaCart
-
Linearly bounded infinite graphs
- Linearly Bounded Infinite Graphs Arnaud Carayol 1 and Antoine Meyer 1,2 1 Irisa, Campus de
- Cited by 2 (1 self) – Add To MetaCart
-
MSO on the Infinite Binary Tree: Choice and Order
- MSO on the Infinite Binary Tree: Choice and Order Arnaud Carayol and Christof Löding RWTH Aachen
- Cited by 1 (1 self) – Add To MetaCart
-
unknown title
- Arnaud Carayol 1 and Stefan W"ohrle 2 1 IRISA Rennes, France arnaud.carayol@(email omitted); 2 Lehrstuhl f
- Add To MetaCart
-
Positional Strategies for Higher-Order Pushdown Parity Games
- Positional Strategies for Higher-Order Pushdown Parity Games Arnaud Carayol 1 and Michaela Slaats
- Add To MetaCart
-
On the representation of McCarthy’s ambin the π-calculus
- On the representation of McCarthy’s amb in the π-calculus Arnaud Carayol a,b Daniel Hirschkoff b
- Add To MetaCart

