On the use of homomorphisms for proving the equivalence of some programs

Publishing house / Banach Center Publications / All volumes

Dimiter Skordev Banach Center Publications 21 (1988), 377-384 DOI: 10.4064/-21-1-377-384