Inductive inference and reverse mathematics

Inductive inference and reverse mathematics

10.4230/LIPIcs.STACS.2015.420

Saved in:
Bibliographic Details
Main Authors: Holzl R, Jain S, Stephan F
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 2016
Online Access:http://scholarbank.nus.edu.sg/handle/10635/127720
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-127720
record_format dspace
spelling sg-nus-scholar.10635-1277202023-10-29T20:32:20Z Inductive inference and reverse mathematics Holzl R Jain S Stephan F COMPUTER SCIENCE 10.4230/LIPIcs.STACS.2015.420 Leibniz International Proceedings in Informatics, LIPIcs 30 420-433 2016-09-09T09:21:25Z 2016-09-09T09:21:25Z 2015 Conference Paper 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 18688969 http://scholarbank.nus.edu.sg/handle/10635/127720 000521582700036 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
description 10.4230/LIPIcs.STACS.2015.420
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Holzl R
Jain S
Stephan F
format Conference or Workshop Item
author Holzl R
Jain S
Stephan F
spellingShingle Holzl R
Jain S
Stephan F
Inductive inference and reverse mathematics
author_sort Holzl R
title Inductive inference and reverse mathematics
title_short Inductive inference and reverse mathematics
title_full Inductive inference and reverse mathematics
title_fullStr Inductive inference and reverse mathematics
title_full_unstemmed Inductive inference and reverse mathematics
title_sort inductive inference and reverse mathematics
publisher Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
publishDate 2016
url http://scholarbank.nus.edu.sg/handle/10635/127720
_version_ 1781790435570614272

Similar Items