scientific article
From MaRDI portal
Publication:3326838
zbMath0539.68031MaRDI QIDQ3326838
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
inductive inferencecomputational complexity of synthesized programseffective identification of fastest programseffective synthesis of recursive functions from input-output examples
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Recursive functions and relations, subrecursive hierarchies (03D20)