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
Argitalpen urtea: 1996
Alea: 1058
Orrialdeak: 156-172
Mota: Biltzar ekarpena