Login / Signup
Defining Corecursive Functions in Coq Using Approximations.
Vlad Rusu
David Nowak
Published in:
ECOOP (2022)
Keyphrases
</>
formal methods
databases
multiscale
data model
linear functions
neural network
computer vision
clustering algorithm
data structure
probabilistic model
knowledge representation
approximation methods