Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems.

Bernhard Gramlich

Published in: CTRS (1992)

Keyphrases

sufficient conditions
term rewriting systems
logic programs
functional programs
linear systems
exponential stability
fixed point
lyapunov function
efficiently computable
active rules
asymptotic stability
neural network
artificial intelligence
theorem proving
asymptotic optimality