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
Datum der Publikation: 1996
Ausgabe: 1058
Seiten: 156-172
Art: Konferenz-Beitrag