Observational proofs with critical contexts
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 38-53
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automated Theorem Proving by Test Set InductionJournal of Symbolic Computation, 1997
- Using induction and rewriting to verify and complete parameterized specificationsTheoretical Computer Science, 1996
- Behavioural theories and the proof of behavioural propertiesTheoretical Computer Science, 1996
- Implicit induction in conditional theoriesJournal of Automated Reasoning, 1995
- Extending Bachmair's method for proof by consistency to the final algebraInformation Processing Letters, 1994
- Behavioural approaches to algebraic specificationsActa Informatica, 1994
- Testing for the ground (co-)reducibility property in term-rewriting systemsTheoretical Computer Science, 1992
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- Toward formal development of ML programs: Foundations and methodology1989
- Computing in Horn Clause Theories1988