Login / Signup
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems
Keiichirou Kusakari
Yasuo Isogai
Masahiko Sakai
Frédéric Blanqui
Published in:
CoRR (2011)
Keyphrases
</>
higher order
pairwise
fine grained
evaluation method
relational databases
probabilistic model
tree structure