A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)
Conference Paper
(2015)
Author(s)
J Endrullis (External organisation)
Helle Hansen (TU Delft - Old - TPM-ESS-EI Energy and Industry)
D Hendriks (External organisation)
A Polonsky (External organisation)
A Silva (External organisation)
Research Group
Old - TPM-ESS-EI Energy and Industry
To reference this document use:
https://resolver.tudelft.nl/uuid:0157ba49-e2e8-4c8a-85d8-52042cfdcbba
More Info
expand_more
expand_more
Publication Year
2015
Language
English
Research Group
Old - TPM-ESS-EI Energy and Industry
Pages (from-to)
1-19
No files available
Metadata only record. There are no files for this record.