Login / Signup
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.
Jörg Endrullis
Helle Hvid Hansen
Dimitri Hendriks
Andrew Polonsky
Alexandra Silva
Published in:
RTA (2015)
Keyphrases
</>
machine learning
main contribution
real time
neural network
metadata
lightweight