Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Authors
O. Lysne
Status
Published
Publication type
Journal Article
Year of publication
1994
Journal
Information Processing Letters
Publisher
Elsevier
Citation key
10958
Google Scholar BibTex