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

Stefan Milius Tadeusz Litak

Published in: CoRR (2016)

Keyphrases

databases
desirable properties
real time
search engine
complex objects
database
data sets
artificial intelligence
mobile robot