Extending Bachmair's method for proof by consistency to the final algebra
Authors:
Olav Lysne
Affiliations:
-
Venue:
Information Processing Letters
Year:
1994
Citing
0
Cited
1
Observational proofs by rewriting
Theoretical Computer Science
Quantified Score
Hi-index
0.89
Visualization
Abstract