Publié le : 1975-10-14
Classification:
68A05,
02H05
@article{1093891904,
author = {DeMillo, Richard A.},
title = {Non-definability of certain semantic properties of programs.},
journal = {Notre Dame J. Formal Logic},
volume = {16},
number = {1},
year = {1975},
pages = { 583-590},
language = {en},
url = {http://dml.mathdoc.fr/item/1093891904}
}
DeMillo, Richard A. Non-definability of certain semantic properties of programs.. Notre Dame J. Formal Logic, Tome 16 (1975) no. 1, pp. 583-590. http://gdmltest.u-ga.fr/item/1093891904/