Reflective inductive inference of recursive functions
Type of publication: | Article |
Citation: | DBLP:journals/tcs/Grieser08 |
Journal: | Theor. Comput. Sci. |
Volume: | 397 |
Number: | 1-3 |
Year: | 2008 |
Pages: | 57-69 |
DOI: | 10.1016/j.tcs.2008.02.022 |
Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, |
Keywords: | |
Authors | |
Topics
|
|
|