Attenuation Regulation as a Term Rewriting System.

Eugene Asarin Thierry Cachat Alexander V. Seliverstov Tayssir Touili Vassily A. Lyubetsky

Published in: AB (2007)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
inference rules
object oriented
first order logic
wave propagation