Mirjana Borisavljević. "Normalization as a consequence of cut elimination." Publications de l'Institut Mathématique 86(100).106 (2009): 27-34. <http://eudml.org/doc/256552>.
@article{MirjanaBorisavljević2009, author = {Mirjana Borisavljević}, journal = {Publications de l'Institut Mathématique}, keywords = {sequent system; natural deduction system; normalization; cut elimination}, language = {eng}, number = {106}, pages = {27-34}, publisher = {Matematički institut SANU}, title = {Normalization as a consequence of cut elimination}, url = {http://eudml.org/doc/256552}, volume = {86(100)}, year = {2009}, }
TY - JOUR AU - Mirjana Borisavljević TI - Normalization as a consequence of cut elimination JO - Publications de l'Institut Mathématique PY - 2009 PB - Matematički institut SANU VL - 86(100) IS - 106 SP - 27 EP - 34 LA - eng KW - sequent system; natural deduction system; normalization; cut elimination UR - http://eudml.org/doc/256552 ER -
