Rewriting in Order-sorted Equational Logic.

Jean H. Gallier Tomás Isakowitz

Published in: ICLP/SLP (1988)

Keyphrases

order sorted
predicate logic
theorem proving
modal logic
conjunctive queries
rewrite rules
semantic network
theorem prover
knowledge representation and reasoning
expert systems
temporal logic
query rewriting
equational theories