Strong Reduction of Combinatory Calculus with Streams.

Koji Nakazawa Hiroto Naya

Published in: Stud Logica (2015)

Keyphrases

data streams
real time
sliding window
data sets
databases
social networks
computer vision
inference rules
streaming data
multi stream
automated deduction
computer algebra
video files