Sign in
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