Conditional Equational Programming and the Theory of Conditional Term Rewriting.

Nachum Dershowitz Mitsuhiro Okada

Published in: FGCS (1988)

Keyphrases

term rewriting
theorem proving
theorem prover
programming language
knuth bendix
database
random field model
multiscale
theoretical framework
first order logic
conditional probabilities
rewrite systems