Publié le : 1982-01-01
EUDML-ID :
urn:eudml:doc:209168
@article{bwmeta1.element.bwnjournal-article-bcpv7i1p76bwm,
author = {Ianov, Iu.},
title = {Predel'no polnaia sistema lokal'nykh pravil ekvivalentnykh preobrazovanii programm},
journal = {Banach Center Publications},
volume = {7},
year = {1982},
pages = {76-103},
language = {ru},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv7i1p76bwm}
}
Янов, Ю. Предельно полная система локальных правил эквивалентных преобразований программ. Banach Center Publications, Tome 7 (1982) pp. 76-103. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv7i1p76bwm/