Login / Signup

Currying of Order-Sorted Term Rewriting Systems.

Yoshinobu KawabeNaohiro 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