Publié le : 1977-07-14
Classification:
68A05,
02H99
@article{1093888024,
author = {DeMillo, Richard A.},
title = {Some applications of model theory to the metatheory of program schemata.},
journal = {Notre Dame J. Formal Logic},
volume = {18},
number = {1},
year = {1977},
pages = { 489-495},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888024}
}
DeMillo, Richard A. Some applications of model theory to the metatheory of program schemata.. Notre Dame J. Formal Logic, Tome 18 (1977) no. 1, pp. 489-495. http://gdmltest.u-ga.fr/item/1093888024/