%0 Conference Paper %1 conf/ppdp/KamareddineM99 %A Kamareddine, Fairouz %A Monin, François %B PPDP %D 1999 %E Nadathur, Gopalan %I Springer %K dblp %P 29-46 %T On Formalised Proofs of Termination of Recursive Functions. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp1999.html#KamareddineM99 %V 1702 %@ 3-540-66540-4

@inproceedings{conf/ppdp/KamareddineM99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Monin, François}, biburl = {https://www.bibsonomy.org/bibtex/2d1e0acaac6e70bd69bc7f34af7ee89e9/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/1999}, editor = {Nadathur, Gopalan}, ee = {https://doi.org/10.1007/10704567_2}, interhash = {ee8ec7efa66d5f419a8f303c7fa2b662}, intrahash = {d1e0acaac6e70bd69bc7f34af7ee89e9}, isbn = {3-540-66540-4}, keywords = {dblp}, pages = {29-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:20:30.000+0200}, title = {On Formalised Proofs of Termination of Recursive Functions.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp1999.html#KamareddineM99}, volume = 1702, year = 1999 }