Sign in
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.
Francisco Durán
José Meseguer
Published in:
J. Log. Algebraic Methods Program. (2012)
Keyphrases
</>
desirable properties
structural properties
predicate logic
expert systems
probability distribution
software engineering
order sorted