Sign in
A Decidability Problem of Church-Rosser Specifications for Program Synthesis.
Steffen Lange
Published in:
AII (1986)
Keyphrases
</>
program synthesis
recursive programs
description logics
query answering
inductive logic programming
artificial intelligence
type checking
database
machine learning
active learning
np hard
relational learning