%0 Journal Article %1 journals/japll/TiuM12 %A Tiu, Alwen %A Momigliano, Alberto %D 2012 %J J. Appl. Log. %K dblp %N 4 %P 330-367 %T Cut elimination for a logic with induction and co-induction. %U http://dblp.uni-trier.de/db/journals/japll/japll10.html#TiuM12 %V 10

@article{journals/japll/TiuM12, added-at = {2021-02-16T00:00:00.000+0100}, author = {Tiu, Alwen and Momigliano, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2ccb5a709e35ca0b8df8fe78ad3c7af55/dblp}, ee = {https://doi.org/10.1016/j.jal.2012.07.007}, interhash = {6b5efb559163553836b055ca901ba5ab}, intrahash = {ccb5a709e35ca0b8df8fe78ad3c7af55}, journal = {J. Appl. Log.}, keywords = {dblp}, number = 4, pages = {330-367}, timestamp = {2024-04-09T02:14:12.000+0200}, title = {Cut elimination for a logic with induction and co-induction.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll10.html#TiuM12}, volume = 10, year = 2012 }