Login / Signup
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
Naoki Nishida
Masahiko Sakai
Toshiki 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