ELAN from a rewriting logic point of view
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne MoreauVolume:
285
Année:
2002
Langue:
english
Pages:
31
DOI:
10.1016/s0304-3975(01)00358-9
Fichier:
PDF, 281 KB
english, 2002