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

Authors	O. Lysne
Title	Extending Bachmair's Method for Proof by Consistency to the Final Algebra
Afilliation	Communication Systems, Communication Systems
Status	Published
Publication Type	Journal Article
Year of Publication	1994
Journal	Information Processing Letters
Volume	51
Issue	6
Pagination	303-310,
Publisher	Elsevier
Citation Key	ND.4.LYSNE.1994.c

Search form