Using a generalisation critic to find bisimulations for coinductive proofs
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 276-290
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Using a generalisation critic to find bisimulations for coinductive proofs1997
- Productive use of failure in inductive proofJournal of Automated Reasoning, 1996
- A proof tool for reasoning about functional programs1996
- A Tutorial on Co-induction and Functional Programming1995
- Difference matching1992
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- The OYSTER-CLAM system1990
- Inductive inference for solving divergence in Knuth-Bendix completionLecture Notes in Computer Science, 1989
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955