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
Muchnick, Steven S.
J. Symbolic Logic, Tome 49 (1984) no. 1, p. 990-991 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1984-09-14
Classification:  
@article{1183741645,
     author = {Muchnick, Steven S.},
     title = {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},
     journal = {J. Symbolic Logic},
     volume = {49},
     number = {1},
     year = {1984},
     pages = { 990-991},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741645}
}

Muchnick, Steven S. 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. J. Symbolic Logic, Tome 49 (1984) no. 1, pp.  990-991. http://gdmltest.u-ga.fr/item/1183741645/