On the Equational Definition of the Least Prefixed Point.

Luigi Santocanale

Published in: MFCS (2001)

Keyphrases

theorem proving
sample points
real world
viewpoint
database
databases
decision making
web services
decision trees
bayesian networks
preprocessing
artificial neural networks
data model
camera calibration
theorem prover