An Intensional Schrödinger Logic.
Newton C. A. da CostaDécio KrausePublished in: Notre Dame J. Formal Log. (1997)
Keyphrases
- hamilton jacobi
- distance transform
- heat equation
- wave equation
- eikonal equation
- classical logic
- logic programming
- partial differential equations
- automated reasoning
- finite difference
- steady state
- medial axis
- computational properties
- higher order
- modal logic
- multi valued
- query evaluation
- numerical analysis
- scale spaces
- fourier transform
- data integration