Connections between cuts and maximum segments

Mirjana Borisavljević

Kragujevac Journal of Mathematics (2010)

  • Volume: 33, Issue: 33, page 29-44
  • ISSN: 1450-9628

How to cite

top

Mirjana 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 ?

top

You must be logged in to post comments.