Consistency and Semantics of Equational Definitions over Predefined Algebras.

Valentin M. Antimirov Anatoli Degtyarev

Published in: CTRS (1992)

Keyphrases

precise definition
theorem proving
fixed point semantics
formal semantics
user defined
temporal reasoning
theorem prover
spatial reasoning
reasoning tasks
consistency checking
logic programming
path consistency
equational theories