Sound Regular Corecursion in coFJ.

Davide Ancona Pietro Barbieri Francesco Dagnino Elena Zucca

Published in: CoRR (2020)

Keyphrases

similarity measure
real time
data sets
artificial intelligence
regular patterns
image processing
digital libraries