Connections between cuts and maximum segments
Kragujevac Journal of Mathematics (2010)
- Volume: 33, Issue: 33, page 29-44
- ISSN: 1450-9628
Access Full Article
top
How to cite
topMirjana Borisavljević. "Connections between cuts and maximum segments." Kragujevac Journal of Mathematics 33.33 (2010): 29-44. <http://eudml.org/doc/253042>.
@article{MirjanaBorisavljević2010,
author = {Mirjana Borisavljević},
journal = {Kragujevac Journal of Mathematics},
keywords = {systems of sequents; natural deduction; cut elimination; normalization},
language = {eng},
number = {33},
pages = {29-44},
publisher = {Prirodno-matematički fakultet Kragujevac},
title = {Connections between cuts and maximum segments},
url = {http://eudml.org/doc/253042},
volume = {33},
year = {2010},
}
TY - JOUR
AU - Mirjana Borisavljević
TI - Connections between cuts and maximum segments
JO - Kragujevac Journal of Mathematics
PY - 2010
PB - Prirodno-matematički fakultet Kragujevac
VL - 33
IS - 33
SP - 29
EP - 44
LA - eng
KW - systems of sequents; natural deduction; cut elimination; normalization
UR - http://eudml.org/doc/253042
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.