Characterizing Recursive Programs up to Bisimilarity.

Paul Blain Levy

Published in: FICS (2010)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
database
relational databases
inductive logic programming
artificial intelligence
background knowledge