A Coinductive Treatment of Infinitary Rewriting.

Jörg Endrullis Helle Hvid Hansen Dimitri Hendriks Andrew Polonsky Alexandra Silva

Published in: CoRR (2013)

Keyphrases

rewriting rules
x ray
conjunctive queries
rewrite rules
neural network
real time
information retrieval
computer vision
website
termination analysis
rewriting systems
presburger arithmetic