1994
More on unfold/fold transformations of normal programs: preservation of fitting's semantics
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
Organisation | Computer Systems & Telematics |
Bossi, A., & Etalle, S. (1994). More on unfold/fold transformations of normal programs: preservation of fitting's semantics. Department of Computer Science [CS]. CWI. |