Login / Signup
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems.
Ryota Nakayama
Naoki Nishida
Masahiko Sakai
Published in:
WPTE@FSCD (2016)
Keyphrases
</>
structure preserving
term rewriting systems
logic programs
functional programs
dimensionality reduction
artificial intelligence
linear functions
closed form
structural equation models
logic programming
helmholtz principle