%0 Conference Paper %1 conf/tlca/UrbanB99 %A Urban, Christian %A Bierman, Gavin M. %B TLCA %D 1999 %E Girard, Jean-Yves %I Springer %K dblp %P 365-380 %T Strong Normalisation of Cut-Elimination in Classical Logic. %U http://dblp.uni-trier.de/db/conf/tlca/tlca99.html#UrbanB99 %V 1581 %@ 3-540-65763-0

@inproceedings{conf/tlca/UrbanB99, added-at = {2017-05-17T00:00:00.000+0200}, author = {Urban, Christian and Bierman, Gavin M.}, biburl = {https://www.bibsonomy.org/bibtex/227ad1e61124154d9b3b86b50a82365e3/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/1999}, editor = {Girard, Jean-Yves}, ee = {https://doi.org/10.1007/3-540-48959-2_26}, interhash = {afe4f6a58e6f6e84bb3fd817f0c3d2e9}, intrahash = {27ad1e61124154d9b3b86b50a82365e3}, isbn = {3-540-65763-0}, keywords = {dblp}, pages = {365-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:21:57.000+0200}, title = {Strong Normalisation of Cut-Elimination in Classical Logic.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca99.html#UrbanB99}, volume = 1581, year = 1999 }