1996
Operational semantics of rewriting with priorities
Publication
Publication
Additional Metadata | |
---|---|
Universiteit Utrecht | |
Universiteit van Utrecht Logic Group Preprint Series | |
van de Pol, J. (1996). Operational semantics of rewriting with priorities. Universiteit van Utrecht Logic Group Preprint Series. Universiteit Utrecht. |
See Also |
---|