Login / Signup
Coalgebraic Weak Bisimulation from Recursive Equations over Monads.
Sergey Goncharov
Dirk Pattinson
Published in:
CoRR (2014)
Keyphrases
</>
square root
differential equations
linear equations
database
databases
mathematical model
recursive algorithm
computer vision
website
web services
evolutionary algorithm
hidden markov models
rough sets
datalog programs
iterative refinement