Voir la notice de l'article provenant de la source Numdam
@article{ITA_1991__25_5_445_0,
author = {Hoffmann, Berthold and Plump, Detlef},
title = {Implementing term rewriting by jungle evaluation},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {445--472},
publisher = {EDP-Sciences},
volume = {25},
number = {5},
year = {1991},
mrnumber = {1144009},
zbl = {0706.68061},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1991__25_5_445_0/}
}
TY - JOUR AU - Hoffmann, Berthold AU - Plump, Detlef TI - Implementing term rewriting by jungle evaluation JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1991 SP - 445 EP - 472 VL - 25 IS - 5 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1991__25_5_445_0/ LA - en ID - ITA_1991__25_5_445_0 ER -
%0 Journal Article %A Hoffmann, Berthold %A Plump, Detlef %T Implementing term rewriting by jungle evaluation %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1991 %P 445-472 %V 25 %N 5 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1991__25_5_445_0/ %G en %F ITA_1991__25_5_445_0
Hoffmann, Berthold; Plump, Detlef. Implementing term rewriting by jungle evaluation. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 5, pp. 445-472. http://geodesic.mathdoc.fr/item/ITA_1991__25_5_445_0/