Inductive Inference and Reverse Mathematics

From MaRDI portal

Revision as of 20:17, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2955013

Jump to:navigation, search

DOI10.4230/LIPIcs.STACS.2015.420zbMath1356.03051OpenAlexW2244632808MaRDI QIDQ2955013

Rupert Hölzl, Sanjay Jain, Frank Stephan

Publication date: 24 January 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.STACS.2015.420

zbMATH Keywords

reverse mathematics inductive inference recursion theory learning from positive data

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

Inductive inference and reverse mathematics

This page was built for publication: Inductive Inference and Reverse Mathematics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2955013&oldid=15949613"