A New Foundation for Finitary Corecursion and Iterative Algebras.

Stefan Milius Dirk Pattinson Thorsten Wißmann

Published in: CoRR (2018)

Keyphrases

finite state
topological spaces
database systems
theoretical foundation
temporal reasoning
iterative process
iterative methods