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 -