%0 Conference Paper %1 conf/popl/BossiB93 %A Bossi, Annalisa %A Bugliesi, Michele %A Gabbrielli, Maurizio %A Levi, Giorgio %A Meo, Maria Chiara %B POPL %D 1993 %E Deusen, Mary S. Van %E Lang, Bernard %I ACM Press %K dblp %P 359-370 %T Differential Logic Programming. %U http://dblp.uni-trier.de/db/conf/popl/popl93.html#BossiB93 %@ 0-89791-560-7

@inproceedings{conf/popl/BossiB93, added-at = {2022-10-02T00:00:00.000+0200}, author = {Bossi, Annalisa and Bugliesi, Michele and Gabbrielli, Maurizio and Levi, Giorgio and Meo, Maria Chiara}, biburl = {https://www.bibsonomy.org/bibtex/24feb4c8b1f9f7894a6375d2e7d90a3e8/dblp}, booktitle = {POPL}, crossref = {conf/popl/1993}, editor = {Deusen, Mary S. Van and Lang, Bernard}, ee = {https://doi.org/10.1145/158511.158689}, interhash = {4ebcc16255824c410534ca708c7ad222}, intrahash = {4feb4c8b1f9f7894a6375d2e7d90a3e8}, isbn = {0-89791-560-7}, keywords = {dblp}, pages = {359-370}, publisher = {ACM Press}, timestamp = {2024-04-10T08:57:14.000+0200}, title = {Differential Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl93.html#BossiB93}, year = 1993 }