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

Stefan Milius Tadeusz Litak

Published in: FICS (2013)

Keyphrases

theorem proving
data sets
knowledge representation
horn clauses
information retrieval
search engine
computer vision
complex objects
structural properties
desirable properties