2013
A coinductive treatment of infinitary rewriting
Publication
Publication
Computing Research Repository , Volume abs/1306.6224
Additional Metadata | |
---|---|
Software (theme 1) | |
Computing Research Repository | |
Organisation | Computer Security |
Endrullis, J, Hansen, H.H, Hendriks, D, Polonsky, A, & Silva, A.M. (2013). A coinductive treatment of infinitary rewriting. Computing Research Repository, abs/1306.6224.
|