%0 Conference Paper %1 conf/wflp/VirsedaC09 %A del Vado Vírseda, Rafael %A Castiñeiras, Ignacio %B WFLP %D 2009 %E Escobar, Santiago %I Springer %K dblp %P 162-178 %T A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. %U http://dblp.uni-trier.de/db/conf/wflp/wflp2009.html#VirsedaC09 %V 5979 %@ 978-3-642-11998-9

@inproceedings{conf/wflp/VirsedaC09, added-at = {2017-05-24T00:00:00.000+0200}, author = {del Vado Vírseda, Rafael and Castiñeiras, Ignacio}, biburl = {https://www.bibsonomy.org/bibtex/2fbd0f32e1c449514a086dcfac74ca5d1/dblp}, booktitle = {WFLP}, crossref = {conf/wflp/2009}, editor = {Escobar, Santiago}, ee = {https://doi.org/10.1007/978-3-642-11999-6_11}, interhash = {3852be3c930568a97dc979efbecf9a2d}, intrahash = {fbd0f32e1c449514a086dcfac74ca5d1}, isbn = {978-3-642-11998-9}, keywords = {dblp}, pages = {162-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-11T11:40:37.000+0100}, title = {A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/wflp/wflp2009.html#VirsedaC09}, volume = 5979, year = 2009 }