Quantitative Logics for Equivalence of Effectful Programs.

Niels F. W. Voorneveld

Published in: CoRR (2019)

Keyphrases

modal logic
qualitative and quantitative
databases
inference rules
automatic programming
database
machine learning
e learning
multi agent
expressive power
conditional logic