Normal Form Theorem for Systems of Sequents
Publications de l'Institut Mathématique (2007)
- Volume: 82(96), Issue: 102, page 37-53
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMirjana Borisavljević. "Normal Form Theorem for Systems of Sequents." Publications de l'Institut Mathématique 82(96).102 (2007): 37-53. <http://eudml.org/doc/258326>.
@article{MirjanaBorisavljević2007,
author = {Mirjana Borisavljević},
journal = {Publications de l'Institut Mathématique},
keywords = {cut-elimination theorem; normalization theorem},
language = {eng},
number = {102},
pages = {37-53},
publisher = {Matematički institut SANU},
title = {Normal Form Theorem for Systems of Sequents},
url = {http://eudml.org/doc/258326},
volume = {82(96)},
year = {2007},
}
TY - JOUR
AU - Mirjana Borisavljević
TI - Normal Form Theorem for Systems of Sequents
JO - Publications de l'Institut Mathématique
PY - 2007
PB - Matematički institut SANU
VL - 82(96)
IS - 102
SP - 37
EP - 53
LA - eng
KW - cut-elimination theorem; normalization theorem
UR - http://eudml.org/doc/258326
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.