AuthorsJ. E. Hannay
TitleAbstraction Barriers in Equational Proof
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1998
Conference NameAlgebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548
Pagination196-213
PublisherSpringer-Verlag
Citation KeySE.5.Hannay.1998