Recursion and corecursion have the same equational logic.
Lawrence S. MossPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- theorem proving
- horn clauses
- logic programming
- modal logic
- data sets
- complex objects
- deductive databases
- proof theory
- digital circuits
- theorem prover
- automated reasoning
- defeasible logic
- datalog programs
- equational theories
- natural deduction
- abductive reasoning
- multi valued
- inference rules
- multi agent systems
- information retrieval
- real world
- databases