On Process Equivalence = Equation Solving in CCS.

Raúl Monroy Alan Bundy Ian Green

Published in: J. Autom. Reason. (2009)

Keyphrases

least squares
image processing
databases
denoising
process model
nonlinear equations