Jan Heering. Partial Evaluation and omega-Completeness of Algebraic Specifications. Theoretical Computer Science, 43:149-167, 1986.
@article{Heering86,
title = {Partial Evaluation and omega-Completeness of Algebraic Specifications},
author = {Jan Heering},
year = {1986},
tags = {completeness, algebraic specification, algebra, partial evaluation},
researchr = {https://researchr.org/publication/Heering86},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {43},
pages = {149-167},
}