Geodesic
Deciding whether the ordering is necessary in a Presburger formula
Discrete mathematics & theoretical computer science, Tome 12 (2010) no. 1.

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

Automata, Logic and Semantics 
@article{DMTCS_2010_12_1_a6,
     author = {Choffrut, Christian and Frigeri, Achille},
     title = {Deciding whether the ordering is necessary in a {Presburger} formula},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {12},
     number = {1},
     year = {2010},
     doi = {10.46298/dmtcs.510},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.510/}
}
TY  - JOUR
AU  - Choffrut, Christian
AU  - Frigeri, Achille
TI  - Deciding whether the ordering is necessary in a Presburger formula
JO  - Discrete mathematics & theoretical computer science
PY  - 2010
VL  - 12
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.510/
DO  - 10.46298/dmtcs.510
LA  - en
ID  - DMTCS_2010_12_1_a6
ER  - 
%0 Journal Article
%A Choffrut, Christian
%A Frigeri, Achille
%T Deciding whether the ordering is necessary in a Presburger formula
%J Discrete mathematics & theoretical computer science
%D 2010
%V 12
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.510/
%R 10.46298/dmtcs.510
%G en
%F DMTCS_2010_12_1_a6
Choffrut, Christian; Frigeri, Achille. Deciding whether the ordering is necessary in a Presburger formula. Discrete mathematics & theoretical computer science, Tome 12 (2010) no. 1. doi : 10.46298/dmtcs.510. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.510/

Cité par Sources :