On the use of homomorphisms for proving the equivalence of some programs
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 377-384
- ISSN: 0137-6934
Access Full Article
top
How to cite
topDimiter Skordev. "On the use of homomorphisms for proving the equivalence of some programs." Banach Center Publications 21.1 (1988): 377-384. <http://eudml.org/doc/267980>.
@article{DimiterSkordev1988,
author = {Dimiter Skordev},
journal = {Banach Center Publications},
keywords = {program equivalence},
language = {eng},
number = {1},
pages = {377-384},
title = {On the use of homomorphisms for proving the equivalence of some programs},
url = {http://eudml.org/doc/267980},
volume = {21},
year = {1988},
}
TY - JOUR
AU - Dimiter Skordev
TI - On the use of homomorphisms for proving the equivalence of some programs
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 377
EP - 384
LA - eng
KW - program equivalence
UR - http://eudml.org/doc/267980
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.