Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism
Steven S. Muchnick
Source: J. Symbolic Logic Volume 49, Issue 3
(1984), 990-991.
Reviewed Works:
B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs.
J. W. de Bakker, J. I. Zucker, Derivatives of Programs.
E. Engeler, An Algorithmic Model of Strict Finitism.
Full-text: Remote
access
If you are a member of the ASL,
log in to Euclid
for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1183741645
JSTOR: links.jstor.org
