Login / Signup
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.
Klaus Becker
Published in:
TAPSOFT (1993)
Keyphrases
</>
recursive programs
theorem proving
inductive learning
high level
inductive concept learning
equational theories
inductive logic programming
machine learning
delay insensitive
horn clauses
definite clause
functional requirements
written in natural language
program synthesis
control flow
rule learning
real time
formal specification
knowledge base
artificial intelligence
databases