%0 Conference Paper %1 conf/amast/Pratt91 %A Pratt, Vaughan R. %B AMAST %D 1991 %E Nivat, Maurice %E Rattray, Charles %E Rus, Teodor %E Scollo, Giuseppe %I Springer %K dblp %P 3-25 %T Event Spaces and their Linear Logic. %U http://dblp.uni-trier.de/db/conf/amast/amast1991.html#Pratt91 %@ 3-540-19797-4

@inproceedings{conf/amast/Pratt91, added-at = {2003-02-18T00:00:00.000+0100}, author = {Pratt, Vaughan R.}, biburl = {https://www.bibsonomy.org/bibtex/285ab2e152d958493879903d3ea9a34e1/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1991}, date = {2003-02-18}, description = {dblp}, editor = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Giuseppe}, interhash = {98b800195383a877a0bd0a8f427d40c0}, intrahash = {85ab2e152d958493879903d3ea9a34e1}, isbn = {3-540-19797-4}, keywords = {dblp}, pages = {3-25}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-18T00:00:00.000+0100}, title = {Event Spaces and their Linear Logic.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast1991.html#Pratt91}, year = 1991 }