Recursion and Corecursion Have the Same Equational Logic.

Lawrence S. Moss

Published in: MFPS (1999)

Keyphrases

classical logic
logic programming
horn clauses
multi valued
lattice theory
modal logic
deductive databases
complex objects
theorem proving
asynchronous circuits
learning algorithm
multi agent
probabilistic logic
formal language
proof theory