Abstraction Barriers in Equational Proof

Authors	J. E. Hannay
Title	Abstraction Barriers in Equational Proof
Status	Published
Publication Type	Proceedings, refereed
Year of Publication	1998
Conference Name	Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548
Pagination	196-213
Publisher	Springer-Verlag
Citation Key	SE.5.Hannay.1998

Search form