%0 Conference Paper %1 conf/flops/Kikuchi04 %A Kikuchi, Kentaro %B FLOPS %D 2004 %E Kameyama, Yukiyoshi %E Stuckey, Peter J. %I Springer %K dblp %P 244-259 %T A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. %U http://dblp.uni-trier.de/db/conf/flops/flops2004.html#Kikuchi04 %V 2998 %@ 3-540-21402-X

@inproceedings{conf/flops/Kikuchi04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kikuchi, Kentaro}, biburl = {https://www.bibsonomy.org/bibtex/2b64122daf4f789949e6c1382bf42f6c6/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2004}, editor = {Kameyama, Yukiyoshi and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-540-24754-8_18}, interhash = {92bc74154976e651096414397b880a25}, intrahash = {b64122daf4f789949e6c1382bf42f6c6}, isbn = {3-540-21402-X}, keywords = {dblp}, pages = {244-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2004.html#Kikuchi04}, volume = 2998, year = 2004 }