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
|
|
|
|
