A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

AuthID
P-00G-BN1
5
Author(s)
Hansen, HH
·
Hendriks, D
·
Polonsky, A
·
1
Editor(s)
Maribel Fernández
Document Type
Proceedings Paper
Year published
2015
Published
in 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland in LIPIcs
Volume: 36, Pages: 143-159
Indexing
Publication Identifiers
DBLP: conf/rta/EndrullisHHP015
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.