1987
Term rewriting systems with priorities
Publication
Publication
Presented at the
International Conference on Rewriting Techniques and Applications, Bordeaux
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Rewriting Techniques and Applications | |
Organisation | Specification and Analysis of Embedded Systems |
Baeten, J., Bergstra, J., & Klop, J. W. (1987). Term rewriting systems with priorities. In Rewriting Techniques and Applications. Proceedings (pp. 83–94). Springer. |