Login / Signup
The Girard-Reynolds Isomorphism.
Philip Wadler
Published in:
TACS (2001)
Keyphrases
</>
numerical solution
graph isomorphism
graph theory
fluid flow
navier stokes
knowledge base
video sequences
differential equations
decision making
relational databases
mobile robot