Relaxed models for rewriting logic.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

data sets
statistical models
prior knowledge
machine learning
process model
experimental data
mathematical models
proof theory