A rewriting logic for declarative programming
- González-Moreno, J.C.
- Hortalá-González, M.T.
- López-Fraguas, F.J.
- Rodríguez-Artalejo, M.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540610557
Année de publication: 1996
Volumen: 1058
Pages: 156-172
Type: Communication dans un congrès