Geodesic
Karp-Miller Trees for a Branching Extension of VASS
Discrete mathematics & theoretical computer science, Tome 7 (2005).

Voir la notice de l'article provenant de la source Episciences

We study BVASS (Branching VASS) which extend VASS (Vector Addition Systems with States) by allowing addition transitions that merge two configurations. Runs in BVASS are tree-like structures instead of linear ones as for VASS. We show that the construction of Karp-Miller trees for VASS can be extended to BVASS. This entails that the coverability set for BVASS is computable. This allows us to obtain decidability results for certain classes of equational tree automata with an associative-commutative symbol. Recent independent work by de Groote et al. implies that decidability of reachability in BVASS is equivalent to decidability of provability in MELL (multiplicative exponential linear logic), which is still an open problem. Hence our results are also a step towards answering this question in the affirmative. 
@article{DMTCS_2005_7_a8,
     author = {Verma, Kumar Neeraj and Goubault-Larrecq, Jean},
     title = {Karp-Miller {Trees} for a {Branching} {Extension} of {VASS}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {7},
     year = {2005},
     doi = {10.46298/dmtcs.350},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.350/}
}
TY  - JOUR
AU  - Verma, Kumar Neeraj
AU  - Goubault-Larrecq, Jean
TI  - Karp-Miller Trees for a Branching Extension of VASS
JO  - Discrete mathematics & theoretical computer science
PY  - 2005
VL  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.350/
DO  - 10.46298/dmtcs.350
LA  - en
ID  - DMTCS_2005_7_a8
ER  - 
%0 Journal Article
%A Verma, Kumar Neeraj
%A Goubault-Larrecq, Jean
%T Karp-Miller Trees for a Branching Extension of VASS
%J Discrete mathematics & theoretical computer science
%D 2005
%V 7
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.350/
%R 10.46298/dmtcs.350
%G en
%F DMTCS_2005_7_a8
Verma, Kumar Neeraj; Goubault-Larrecq, Jean. Karp-Miller Trees for a Branching Extension of VASS. Discrete mathematics & theoretical computer science, Tome 7 (2005). doi : 10.46298/dmtcs.350. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.350/

Cité par Sources :