Geodesic
Construction d'un plus petit ordre de simplification
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) no. 3, pp. 191-208

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

@article{ITA_1984__18_3_191_0,
     author = {Jouannaud, J. P. and Kirchner, H.},
     title = {Construction d'un plus petit ordre de simplification},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {191--208},
     publisher = {EDP-Sciences},
     volume = {18},
     number = {3},
     year = {1984},
     mrnumber = {763666},
     zbl = {0541.68013},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1984__18_3_191_0/}
}
TY  - JOUR
AU  - Jouannaud, J. P.
AU  - Kirchner, H.
TI  - Construction d'un plus petit ordre de simplification
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1984
SP  - 191
EP  - 208
VL  - 18
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1984__18_3_191_0/
LA  - fr
ID  - ITA_1984__18_3_191_0
ER  - 
%0 Journal Article
%A Jouannaud, J. P.
%A Kirchner, H.
%T Construction d'un plus petit ordre de simplification
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1984
%P 191-208
%V 18
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1984__18_3_191_0/
%G fr
%F ITA_1984__18_3_191_0
Jouannaud, J. P.; Kirchner, H. Construction d'un plus petit ordre de simplification. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) no. 3, pp. 191-208. http://geodesic.mathdoc.fr/item/ITA_1984__18_3_191_0/