Searching for authors named "Arnaud Carayol" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
