On Modularity of the Completeness in Order-Sorted Term Rewriting Systems.

Yoshinobu Kawabe Naohiro Ishii

Published in: COCOON (1997)

Keyphrases

term rewriting systems
order sorted
predicate logic
functional programs
logic programs
knowledge representation and reasoning
community detection
database
query processing
knowledge discovery
temporal logic