Infinitary Combinatory Reduction Systems: Confluence

Jeroen Ketema Jakob Grue Simonsen

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

management system
real time
databases
machine learning
face recognition
relational databases
computing systems