Sign in
Currying of Order-Sorted Term Rewriting Systems.
Yoshinobu Kawabe
Naohiro Ishii
Published in:
COCOON (1995)
Keyphrases
</>
term rewriting systems
order sorted
predicate logic
functional programs
logic programs
database systems
domain specific
data sources
software engineering
lower level