Login / Signup
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.
Naoki Nishida
Masahiko Sakai
Toshiki Sakabe
Published in:
RTA (2011)
Keyphrases
</>
term rewriting systems
functional programs
artificial intelligence
high speed
databases
general purpose
simulated annealing