%0 Conference Paper %1 conf/lics/LaurentR03 %A Laurent, Olivier %A Regnier, Laurent %B LICS %D 2003 %I IEEE Computer Society %K dblp %P 11-20 %T About Translations of Classical Logic into Polarized Linear Logic. %U http://dblp.uni-trier.de/db/conf/lics/lics2003.html#LaurentR03 %@ 0-7695-1884-2

@inproceedings{conf/lics/LaurentR03, added-at = {2023-11-06T00:00:00.000+0100}, author = {Laurent, Olivier and Regnier, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2224ba4598718524e142e5d0565df5883/dblp}, booktitle = {LICS}, crossref = {conf/lics/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210040}, interhash = {26f0fb4f3edc7e2c976d48861a1e4b8f}, intrahash = {224ba4598718524e142e5d0565df5883}, isbn = {0-7695-1884-2}, keywords = {dblp}, pages = {11-20}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:23.000+0200}, title = {About Translations of Classical Logic into Polarized Linear Logic.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2003.html#LaurentR03}, year = 2003 }