Login / Signup
A Reduced Semantics for Deciding Trace Equivalence.
David Baelde
Stéphanie Delaune
Lucca Hirschi
Published in:
CoRR (2017)
Keyphrases
</>
formal semantics
strong equivalence
logic programming
query containment
neural network
operational semantics
learning algorithm
decision making
relational databases
logic programs
semantic information
conceptual model
semantic representation
stable models