%0 Conference Paper %1 conf/calco/GhaniMF13 %A Ghani, Neil %A Malatesta, Lorenzo %A Forsberg, Fredrik Nordvall %B CALCO %D 2013 %E Heckel, Reiko %E Milius, Stefan %I Springer %K dblp %P 19-33 %T Positive Inductive-Recursive Definitions. %U http://dblp.uni-trier.de/db/conf/calco/calco2013.html#GhaniMF13 %V 8089 %@ 978-3-642-40205-0

@inproceedings{conf/calco/GhaniMF13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Ghani, Neil and Malatesta, Lorenzo and Forsberg, Fredrik Nordvall}, biburl = {https://www.bibsonomy.org/bibtex/27d9fbc90ae7a82ab72239ae7207016c1/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2013}, editor = {Heckel, Reiko and Milius, Stefan}, ee = {https://doi.org/10.1007/978-3-642-40206-7_3}, interhash = {7e8a440a82440f32fa30b5b483c9891a}, intrahash = {7d9fbc90ae7a82ab72239ae7207016c1}, isbn = {978-3-642-40205-0}, keywords = {dblp}, pages = {19-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:21:07.000+0200}, title = {Positive Inductive-Recursive Definitions.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2013.html#GhaniMF13}, volume = 8089, year = 2013 }