Метод разрешения семантических свойств алгоритмов

Publishing house / Banach Center Publications / All volumes

Ю. И. Янов Banach Center Publications 21 (1988), 585-597 DOI: 10.4064/-21-1-585-597