Login / Signup
Encoding Agda Programs Using Rewriting.
Guillaume Genestier
Published in:
FSCD (2020)
Keyphrases
</>
automatic programming
magic sets
computer programs
query rewriting
databases
answer sets
encoding schemes
rewriting rules
fixpoint
programming environment
query answering
image coding
logic programming
logic programs
description logics
data structure
neural network