Login / Signup
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).
Jörg Endrullis
Helle Hvid Hansen
Dimitri Hendriks
Andrew Polonsky
Alexandra Silva
Published in:
CoRR (2015)
Keyphrases
</>
main contribution
theoretical framework
artificial intelligence
image processing
framework enables
real world
computer vision
information systems
multi agent systems
probabilistic model
key features