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)
This page was built for publication:
