Observational proofs by rewriting. (Q1607227)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Observational proofs by rewriting. |
scientific article |
Statements
Observational proofs by rewriting. (English)
0 references
31 July 2002
0 references
Observational semantics
0 references
Automated proofs
0 references
Induction
0 references
Rewriting
0 references
0 references
0 references