On the use of homomorphisms for proving the equivalence of some programs
Dimiter Skordev
Banach Center Publications, Tome 21 (1988), p. 377-384 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:267980 
@article{bwmeta1.element.zamlynska-b31e1fe4-261b-4284-94bb-7c065de64363,
     author = {Dimiter Skordev},
     title = {On the use of homomorphisms for proving the equivalence of some programs},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {377-384},
     zbl = {0760.68053},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-b31e1fe4-261b-4284-94bb-7c065de64363}
}

Dimiter Skordev. On the use of homomorphisms for proving the equivalence of some programs. Banach Center Publications, Tome 21 (1988) pp. 377-384. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-b31e1fe4-261b-4284-94bb-7c065de64363/