On some arithmetically expressible properties of programs
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 385-394
- ISSN: 0137-6934
Access Full Article
top
How to cite
topM. E. Szabo. "On some arithmetically expressible properties of programs." Banach Center Publications 21.1 (1988): 385-394. <http://eudml.org/doc/267996>.
@article{M1988,
author = {M. E. Szabo},
journal = {Banach Center Publications},
keywords = {execution schemes; cancellation trees; computation paths; programs as arithmetical formulas; diagrams of types; properties of parallel programs},
language = {eng},
number = {1},
pages = {385-394},
title = {On some arithmetically expressible properties of programs},
url = {http://eudml.org/doc/267996},
volume = {21},
year = {1988},
}
TY - JOUR
AU - M. E. Szabo
TI - On some arithmetically expressible properties of programs
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 385
EP - 394
LA - eng
KW - execution schemes; cancellation trees; computation paths; programs as arithmetical formulas; diagrams of types; properties of parallel programs
UR - http://eudml.org/doc/267996
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.