Login / Signup
A Monadic Framework for Relational Verification (Functional Pearl).
Niklas Grimm
Kenji Maillard
Cédric Fournet
Catalin Hritcu
Matteo Maffei
Jonathan Protzenko
Aseem Rastogi
Nikhil Swamy
Santiago Zanella Béguelin
Published in:
CoRR (2017)
Keyphrases
</>
relational databases
lightweight
main contribution
genetic algorithm
website
conceptual framework
databases
neural network
multi agent systems
data model
probabilistic model
knowledge representation
probabilistic relational models