1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.4230/LIPIcs.STACS.2015.420
DC FieldValue
dc.titleInductive inference and reverse mathematics
dc.contributor.authorHolzl R
dc.contributor.authorJain S
dc.contributor.authorStephan F
dc.date.accessioned2016-09-09T09:21:25Z
dc.date.available2016-09-09T09:21:25Z
dc.date.issued2015
dc.identifier.citationHolzl 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
dc.identifier.issn18688969
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/127720
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.4230/LIPIcs.STACS.2015.420
dc.publisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.4230/LIPIcs.STACS.2015.420
dc.description.sourcetitleLeibniz International Proceedings in Informatics, LIPIcs
dc.description.volume30
dc.description.page420-433
dc.identifier.isiut000521582700036
dc.published.statePublished
dc.grant.idC252-000-087-001
dc.grant.idMOE2013-T2-1-062
dc.grant.idR146-000-184-112
dc.grant.fundingagencyNUS, Ministry of Education of the People's Republic of China
dc.grant.fundingagencyMOE, Ministry of Education of the People's Republic of China
dc.grant.fundingagencyNUS, Ministry of Education of the People's Republic of China
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.