%0 Conference Paper %1 conf/tableaux/Strassburger11a %A Straßburger, Lutz %B TABLEAUX (Workshops, Tutorials, and Short Papers) %D 2011 %E Giese, Martin %E Kuznets, Roman %K dblp %P 79 %T Introduction to Proof Nets. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2011wstsp.html#Strassburger11a %V IAM-11-002

@inproceedings{conf/tableaux/Strassburger11a, added-at = {2021-11-18T00:00:00.000+0100}, author = {Straßburger, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/274a25111472aab4976189d38db9d7ea5/dblp}, booktitle = {TABLEAUX (Workshops, Tutorials, and Short Papers)}, crossref = {conf/tableaux/2011wstsp}, editor = {Giese, Martin and Kuznets, Roman}, ee = {https://tr.inf.unibe.ch/pdf/iam-11-002.pdf}, interhash = {b21a3f99024b50ebe19797430fcc9eb6}, intrahash = {74a25111472aab4976189d38db9d7ea5}, keywords = {dblp}, pages = 79, school = {University of Bern}, series = {Technical Report}, timestamp = {2024-04-09T19:33:35.000+0200}, title = {Introduction to Proof Nets.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2011wstsp.html#Strassburger11a}, volume = {IAM-11-002}, year = 2011 }