[BibTeX] [RIS]
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 Grieser, Gunter
Topics