scientific article
From MaRDI portal
Publication:3863048
zbMath0427.68023MaRDI QIDQ3863048
Zohar Manna, Richard Waldinger
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Extraction of a program from deduction and its regularity. I ⋮ Learning efficient logic programs ⋮ Synthesising programs with non-trivial constants ⋮ Making higher-order superposition work ⋮ Making higher-order superposition work ⋮ Formal deduction with transfinite induction and its transformation for easier program synthesis