%0 Conference Paper %1 conf/ifip/BorgerLR94 %A Börger, Egon %A López-Fraguas, Francisco Javier %A Rodríguez-Artalejo, Mario %B IFIP Congress (1) %D 1994 %E Pehrson, Björn %E Simon, Imre %I North-Holland %K dblp %P 410-415 %T A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. %U http://dblp.uni-trier.de/db/conf/ifip/ifip94-1.html#BorgerLR94 %V A-51 %@ 0-444-81989-4

@inproceedings{conf/ifip/BorgerLR94, added-at = {2016-03-15T00:00:00.000+0100}, author = {Börger, Egon and López-Fraguas, Francisco Javier and Rodríguez-Artalejo, Mario}, biburl = {https://www.bibsonomy.org/bibtex/254cc0d0cee6dbc26eefbe8bd91a138bf/dblp}, booktitle = {IFIP Congress (1)}, crossref = {conf/ifip/1994-1}, editor = {Pehrson, Björn and Simon, Imre}, interhash = {b0725ea922d9c4b7bc018132f19f942e}, intrahash = {54cc0d0cee6dbc26eefbe8bd91a138bf}, isbn = {0-444-81989-4}, keywords = {dblp}, pages = {410-415}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2016-03-16T12:03:14.000+0100}, title = {A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip94-1.html#BorgerLR94}, volume = {A-51}, year = 1994 }