Login / Signup

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.

Jörg EndrullisHelle Hvid HansenDimitri HendriksAndrew PolonskyAlexandra Silva
Published in: RTA (2015)
Keyphrases
  • machine learning
  • main contribution
  • real time
  • neural network
  • metadata
  • lightweight