1987
Strongly sequential rewriting systems
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Klop, J. W.& Middeldorp, A. (1987). Strongly sequential rewriting systems. In Department of Computer Science [CS] (R 8730). CWI. |
|