%0 Journal Article %1 journals/fac/CarmoS90 %A Carmo, José %A Sernadas, Amílcar %D 1990 %J Formal Asp. Comput. %K dblp %N 1 %P 24-59 %T Branching versus Linear Logics Yet Again. %U http://dblp.uni-trier.de/db/journals/fac/fac2.html#CarmoS90 %V 2

@article{journals/fac/CarmoS90, added-at = {2011-05-25T00:00:00.000+0200}, author = {Carmo, José and Sernadas, Amílcar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f4e2af083031c32ab2fbfb2c4435452c/dblp}, ee = {http://dx.doi.org/10.1007/BF01888216}, interhash = {d5123e940db50855d5518ee7411ec6af}, intrahash = {f4e2af083031c32ab2fbfb2c4435452c}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 1, pages = {24-59}, timestamp = {2016-02-02T10:13:59.000+0100}, title = {Branching versus Linear Logics Yet Again.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac2.html#CarmoS90}, volume = 2, year = 1990 }