Inductive inference and reverse mathematics
10.1016/j.apal.2016.06.002
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
Elsevier B.V.
2020
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/177532 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-177532 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-1775322024-04-25T01:32:04Z Inductive inference and reverse mathematics Hölzl R. Jain S. Stephan F. DEPARTMENT OF COMPUTER SCIENCE MATHEMATICS Inductive inference Learning from positive data Recursion theory Reverse mathematics 10.1016/j.apal.2016.06.002 Annals of Pure and Applied Logic 167 12 1242-1266 2020-10-15T07:42:57Z 2020-10-15T07:42:57Z 2016 Article Hölzl R., Jain S., Stephan F. (2016). Inductive inference and reverse mathematics. Annals of Pure and Applied Logic 167 (12) : 1242-1266. ScholarBank@NUS Repository. https://doi.org/10.1016/j.apal.2016.06.002 0168-0072 https://scholarbank.nus.edu.sg/handle/10635/177532 Elsevier B.V. |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
Inductive inference Learning from positive data Recursion theory Reverse mathematics |
spellingShingle |
Inductive inference Learning from positive data Recursion theory Reverse mathematics Hölzl R. Jain S. Stephan F. Inductive inference and reverse mathematics |
description |
10.1016/j.apal.2016.06.002 |
author2 |
DEPARTMENT OF COMPUTER SCIENCE |
author_facet |
DEPARTMENT OF COMPUTER SCIENCE Hölzl R. Jain S. Stephan F. |
format |
Article |
author |
Hölzl R. Jain S. Stephan F. |
author_sort |
Hölzl 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 |
Elsevier B.V. |
publishDate |
2020 |
url |
https://scholarbank.nus.edu.sg/handle/10635/177532 |
_version_ |
1800914449025990656 |