Travelled to:1 × Poland
Collaborated with:J.Endrullis D.Hendriks A.Polonsky A.Silva
Talks about:infinitari (1) framework (1) coinduct (1) rewrit (1) reason (1) equat (1)
Person: Helle Hvid Hansen
DBLP: Hansen:Helle_Hvid
Contributed to:
2015Wrote 1 papers:
- RTA-2015-EndrullisHHP0 #equation #framework #induction #reasoning
- A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.