1994
Term rewriting properties of SOS axiomatisations
Publication
Publication
Presented at the
International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Theoretical Aspects of Computer Software | |
Bosscher, D. (1994). Term rewriting properties of SOS axiomatisations. In Theoretical Aspects of Computer Software 1994 (TACS 2) (pp. 425–439). Springer. |