Please use this identifier to cite or link to this item:
https://doi.org/10.4230/LIPIcs.STACS.2015.420
| Title: | Inductive inference and reverse mathematics | Authors: | Holzl R Jain S Stephan F |
Issue Date: | 2015 | Publisher: | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | Citation: | Holzl R, Jain S, Stephan F (2015). Inductive inference and reverse mathematics. Leibniz International Proceedings in Informatics, LIPIcs 30 : 420-433. ScholarBank@NUS Repository. https://doi.org/10.4230/LIPIcs.STACS.2015.420 | Source Title: | Leibniz International Proceedings in Informatics, LIPIcs | URI: | http://scholarbank.nus.edu.sg/handle/10635/127720 | ISSN: | 18688969 | DOI: | 10.4230/LIPIcs.STACS.2015.420 |
| Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.