Login / Signup

Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.

Naoki NishidaMasahiko SakaiToshiki Sakabe
Published in: RTA (2011)
Keyphrases
  • term rewriting systems
  • functional programs
  • artificial intelligence
  • high speed
  • databases
  • general purpose
  • simulated annealing