(PDF) The Halting Problem for Deductive Synthesis of Logic

The Halting Problem for Deductive Synthesis of Logic Programs

doi 10.7551/mitpress/4316.003.0064

Full Text

Abstract

Available in full text

Date

January 1, 1994

Authors

Unknown

Publisher

The MIT Press