1990
Transfinite reductions in orthogonal term rewriting systems
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9041 | |
Organisation | Specification and Analysis of Embedded Systems |
Kennaway, R., Klop, J. W., & Sleep, R. (1990). Transfinite reductions in orthogonal term rewriting systems. Department of Computer Science [CS]. CWI. |