Searching for authors named "Antoine Meyer" – sorted by Relevance.
-
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
- Meyer Liafa, Univ. of Paris 7, Case 7014, 2 place Jussieu 75251, Paris Cedex 5, France {abou
- Cited by 6 (0 self) – Add To MetaCart
-
Context-sensitive languages, rational graphs and determinism
- CARAYOL a AND ANTOINE MEYER b a Irisa – Campus de Beaulieu – 35042 Rennes Cedex – France e-mail address
- 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
-
A logic of reachable patterns in linked data-structures
- , Mooly Sagiv 1 , Antoine Meyer 2 , and Ahmed Bouajjani 2 1 Tel Aviv Univ., Israel {gretay, rabinoa
- Cited by 11 (1 self) – Add To MetaCart
-
On term rewriting systems having a rational derivation
- On Term Rewriting Systems Having a Rational Derivation Antoine Meyer ⋆ Irisa, campus de Beaulieu
- Cited by 2 (0 self) – Add To MetaCart

