%0 Conference Paper %1 journals/entcs/KamareddineR09 %A Kamareddine, Fairouz %A Rahli, Vincent %B LSFA %D 2008 %E Horizonte, Belo %E Pimentel, Elaine %E Benevides, Mario R. F. %I Elsevier %K dblp %P 85-101 %T Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. %U http://dblp.uni-trier.de/db/journals/entcs/entcs247.html#KamareddineR09 %V 247

@inproceedings{journals/entcs/KamareddineR09, added-at = {2021-02-12T00:00:00.000+0100}, author = {Kamareddine, Fairouz and Rahli, Vincent}, biburl = {https://www.bibsonomy.org/bibtex/285043828819de2a615d305080088a131/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2008}, editor = {Horizonte, Belo and Pimentel, Elaine and Benevides, Mario R. F.}, ee = {https://doi.org/10.1016/j.entcs.2009.07.050}, interhash = {f8dcfeafe4775d7697b4893d278b69d9}, intrahash = {85043828819de2a615d305080088a131}, keywords = {dblp}, pages = {85-101}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:53.000+0200}, title = {Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs247.html#KamareddineR09}, volume = 247, year = 2008 }