Partial evaluation and $omega$-completeness of algebraic specifications

Additional Metadata
MSC	Abstract data types; algebraic specification (msc 68Q65), Logic in computer science (msc 03B70), Equational classes, universal algebra (msc 03C05), Software (msc 68Nxx), Theory of computing (msc 68Qxx), Semantics (msc 68Q55)
Publisher	elsevier
Journal	Theoretical Computer Science
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Heering, J. (1986). Partial evaluation and $omega$-completeness of algebraic specifications. Theoretical Computer Science, 43(2-3), 149–167.

Additional Files
Publisher Version
2468D.pdf Final Version , 2mb

Publication