%0 Journal Article %1 journals/apal/MarinMPV22 %A Marin, Sonia %A Miller, Dale %A Pimentel, Elaine %A Volpe, Marco %D 2022 %J Ann. Pure Appl. Log. %K dblp %N 5 %P 103091 %T From axioms to synthetic inference rules via focusing. %U http://dblp.uni-trier.de/db/journals/apal/apal173.html#MarinMPV22 %V 173

@article{journals/apal/MarinMPV22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Marin, Sonia and Miller, Dale and Pimentel, Elaine and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2d64b59dfdbbecc3f8999931ebdf5a730/dblp}, ee = {https://www.wikidata.org/entity/Q114682919}, interhash = {887efd6fa5632cd0d83cf7ad1dd1f1eb}, intrahash = {d64b59dfdbbecc3f8999931ebdf5a730}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 5, pages = 103091, timestamp = {2024-04-09T02:35:53.000+0200}, title = {From axioms to synthetic inference rules via focusing.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal173.html#MarinMPV22}, volume = 173, year = 2022 }