Bisimilarity of open terms in stream GSOS.

Filippo Bonchi Tom van Bussel Matias David Lee Jurriaan Rot

Published in: Sci. Comput. Program. (2019)

Keyphrases

neural network
data streams
databases
artificial intelligence
information systems
real time
learning algorithm
search algorithm
natural language
query processing
text categorization
background knowledge