Conditional term rewriting systems
Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings
Livre Ecrit par: Rémy, Jean-Luc ; Rusinowitch, Michaël ; International Workshop on Conditional Term Rewriting Systems (3rd ; Publié en: 1993
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
1 vol. (xi, 501 p.) ill.
;24 cm
ISBN: 0387563938
Index décimal
621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème
Informatique
Mots clés:
Réécriture, Systèmes de (informatique)
Note: Références bibliogr. en fin de chapitres
