Proof Terms for Infinitary Rewriting.

Carlos Lombardi Alejandro Ríos Roel de Vrijer

Published in: RTA-TLCA (2014)

Keyphrases

information retrieval
database
real world
learning algorithm
image sequences
theorem proving