Login / Signup
Static Dependency Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types.
Keiichirou Kusakari
Published in:
IEICE Trans. Inf. Syst. (2013)
Keyphrases
</>
database
data structure
data mining techniques
data points
data distribution