Login / Signup
A reduced semantics for deciding trace equivalence using constraint systems.
David Baelde
Stéphanie Delaune
Lucca Hirschi
Published in:
CoRR (2014)
Keyphrases
</>
data sets
databases
intelligent systems
complex systems
genetic algorithm
artificial intelligence
expert systems
data model
management system
computer systems
knowledge based systems
logic programming
integrity constraints