%0 Conference Paper %1 journals/entcs/FouquereM08 %A Fouqueré, Christophe %A Mogbil, Virgile %B TERMGRAPH@ETAPS %D 2007 %E Mackie, Ian %E Plump, Detlef %I Elsevier %K dblp %N 1 %P 109-121 %T Rewritings for Polarized Multiplicative and Exponential Proof Structures. %U http://dblp.uni-trier.de/db/conf/termgraph/termgraph2007.html#FouquereM08 %V 203

@inproceedings{journals/entcs/FouquereM08, added-at = {2023-02-13T00:00:00.000+0100}, author = {Fouqueré, Christophe and Mogbil, Virgile}, biburl = {https://www.bibsonomy.org/bibtex/2117a1b37bb734b2bd5c8dd470e753d06/dblp}, booktitle = {TERMGRAPH@ETAPS}, crossref = {conf/termgraph/2007}, editor = {Mackie, Ian and Plump, Detlef}, ee = {https://doi.org/10.1016/j.entcs.2008.03.037}, interhash = {1cc8918d92fefeeb67fab8e6f4b7cfdb}, intrahash = {117a1b37bb734b2bd5c8dd470e753d06}, keywords = {dblp}, number = 1, pages = {109-121}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:20:14.000+0200}, title = {Rewritings for Polarized Multiplicative and Exponential Proof Structures.}, url = {http://dblp.uni-trier.de/db/conf/termgraph/termgraph2007.html#FouquereM08}, volume = 203, year = 2007 }