On Confluence of Infinitary Combinatory Reduction Systems.

Jeroen Ketema Jakob Grue Simonsen

Published in: LPAR (2005)

Keyphrases

distributed systems
systems require
real time
data sets
relational databases
intelligent systems
face recognition
multiscale
search algorithm
computer systems
rewrite systems