Login / Signup
Efficient Program Synthesis: Semantics, Logic, Complexity.
Max I. Kanovich
Published in:
TACS (1991)
Keyphrases
</>
program synthesis
logic programming
formal semantics
database
inductive logic programming
nonmonotonic logics
recursive programs
databases
general purpose
constraint satisfaction problems
transformation rules
epistemic logic
proof theory
propositional dynamic logic