Login / Signup

Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.

Masaki NakamuraKazuhiro OgataKokichi Futatsugi
Published in: J. Symb. Comput. (2010)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • delay insensitive
  • high level