%0 Conference Paper %1 journals/entcs/LopezPHPS02 %A López, Pablo %A Pimentel, Ernesto %A Hodas, Joshua S. %A Polakow, Jeffrey %A Stoilova, Lubomira %B LFM %D 2002 %E Pfenning, Frank %I Elsevier %K dblp %N 2 %P 1-10 %T Isolating Resource Consumption in Linear Logic Proof Search. %U http://dblp.uni-trier.de/db/conf/lfm/lfm2002.html#LopezPHPS02 %V 70

@inproceedings{journals/entcs/LopezPHPS02, added-at = {2022-12-06T00:00:00.000+0100}, author = {López, Pablo and Pimentel, Ernesto and Hodas, Joshua S. and Polakow, Jeffrey and Stoilova, Lubomira}, biburl = {https://www.bibsonomy.org/bibtex/2952b8fdfabeec53f2e7690fe06eaa2db/dblp}, booktitle = {LFM}, crossref = {conf/lfm/2002}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1016/S1571-0661(04)80502-4}, interhash = {fbec91b571b486869a4f773635c52b67}, intrahash = {952b8fdfabeec53f2e7690fe06eaa2db}, keywords = {dblp}, number = 2, pages = {1-10}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:04:29.000+0200}, title = {Isolating Resource Consumption in Linear Logic Proof Search.}, url = {http://dblp.uni-trier.de/db/conf/lfm/lfm2002.html#LopezPHPS02}, volume = 70, year = 2002 }