%0 Conference Paper %1 conf/agp/Volpe94 %A Volpe, Paolo %B GULP-PRODE (1) %D 1994 %E Alpuente, María %E Barbuti, Roberto %E Ramos, Isidro %K dblp %P 107-124 %T Semantics of Concurrent Logic Programming as Uniform Proofs. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#Volpe94

@inproceedings{conf/agp/Volpe94, added-at = {2004-11-30T00:00:00.000+0100}, author = {Volpe, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2ecb00fbbe9d15a42c34435acdc784fe7/dblp}, booktitle = {GULP-PRODE (1)}, crossref = {conf/agp/1994-1}, date = {2004-11-30}, description = {dblp}, editor = {Alpuente, María and Barbuti, Roberto and Ramos, Isidro}, interhash = {404a3603e0a59f35f86c3fcfc1b81a9b}, intrahash = {ecb00fbbe9d15a42c34435acdc784fe7}, keywords = {dblp}, pages = {107-124}, timestamp = {2004-11-30T00:00:00.000+0100}, title = {Semantics of Concurrent Logic Programming as Uniform Proofs.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#Volpe94}, year = 1994 }