Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.

Stefan Milius Tadeusz Litak

Published in: Fundam. Informaticae (2017)

Keyphrases

artificial intelligence
multiscale
fixed point
structural properties
desirable properties
decision trees
image sequences
complex objects
transitive closure