{"_id":"whoPioe54Q2YnTwdT","bibbaseid":"iranzo-onthecorrectnessofthefactoringtransformation-2002","downloads":0,"creationDate":"2018-11-28T11:22:42.024Z","title":"On the Correctness of the Factoring Transformation","author_short":["Iranzo, P. J."],"year":2002,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/05/6066.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pascual","Julián"],"propositions":[],"lastnames":["Iranzo"],"suffixes":[]}],"editor":[{"firstnames":["Zhenjiang"],"propositions":[],"lastnames":["Hu"],"suffixes":[]},{"firstnames":["Mario"],"propositions":[],"lastnames":["Rodríguez-Artalejo"],"suffixes":[]}],"title":"On the Correctness of the Factoring Transformation","booktitle":"Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings","series":"Lecture Notes in Computer Science","volume":"2441","pages":"119–133","publisher":"Springer","year":"2002","url":"https://doi.org/10.1007/3-540-45788-7_7","doi":"10.1007/3-540-45788-7_7","timestamp":"Sun, 02 Jun 2019 21:12:36 +0200","biburl":"https://dblp.org/rec/conf/flops/Iranzo02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/flops/Iranzo02,\n author = {Pascual Juli{\\'{a}}n Iranzo},\n editor = {Zhenjiang Hu and\n Mario Rodr{\\'{\\i}}guez{-}Artalejo},\n title = {On the Correctness of the Factoring Transformation},\n booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}\n 2002, Aizu, Japan, September 15-17, 2002, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2441},\n pages = {119--133},\n publisher = {Springer},\n year = {2002},\n url = {https://doi.org/10.1007/3-540-45788-7\\_7},\n doi = {10.1007/3-540-45788-7\\_7},\n timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},\n biburl = {https://dblp.org/rec/conf/flops/Iranzo02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Iranzo, P. J."],"editor_short":["Hu, Z.","Rodríguez-Artalejo, M."],"key":"DBLP:conf/flops/Iranzo02","id":"DBLP:conf/flops/Iranzo02","bibbaseid":"iranzo-onthecorrectnessofthefactoringtransformation-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-45788-7_7"},"downloads":0},"search_terms":["correctness","factoring","transformation","iranzo"],"keywords":[],"authorIDs":[],"dataSources":["9YpLvLxSpfnHiTbRN"]}