Login / Signup

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

Naoki NishidaMasahiko SakaiToshiki Sakabe
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases
  • term rewriting systems
  • logic programs
  • database
  • high speed
  • databases
  • desirable properties
  • functional programs
  • data structure
  • management system
  • random field model