1989
Term-rewriting systems with rule priorities
Publication
Publication
Theoretical Computer Science , Volume 67 - Issue 2-3 p. 283- 301
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
Baeten, J., Bergstra, J., Klop, J. W., & Weijland, W. P. (1989). Term-rewriting systems with rule priorities. Theoretical Computer Science, 67(2-3), 283–301. |