Login / Signup
Program Synthesis and Linear Operator Semantics.
Herbert Wiklicky
Published in:
SYNT (2014)
Keyphrases
</>
program synthesis
formal semantics
logic programming
inductive logic programming
learning algorithm
high level
update semantics