%0 Conference Paper %1 conf/alp/Volpe94 %A Volpe, Paolo %B ALP %D 1994 %E Levi, Giorgio %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 133-149 %T Concurrent Logic Programming as Uniform Linear Proofs. %U http://dblp.uni-trier.de/db/conf/alp/alp94.html#Volpe94 %V 850 %@ 3-540-58431-5

@inproceedings{conf/alp/Volpe94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Volpe, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2adf773c84ee57c6cc5aead0ae875cbd6/dblp}, booktitle = {ALP}, crossref = {conf/alp/1994}, editor = {Levi, Giorgio and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-58431-5_11}, interhash = {aad0f7c7ff662d94b869f706c000f293}, intrahash = {adf773c84ee57c6cc5aead0ae875cbd6}, isbn = {3-540-58431-5}, keywords = {dblp}, pages = {133-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:44:40.000+0200}, title = {Concurrent Logic Programming as Uniform Linear Proofs.}, url = {http://dblp.uni-trier.de/db/conf/alp/alp94.html#Volpe94}, volume = 850, year = 1994 }