Higher Order Dependency Pairs for Algebraic Functional Systems.

Cynthia Kop Femke van Raamsdonk

Published in: RTA (2011)

Keyphrases

higher order
pairwise
management system
complex systems
website
natural images
machine learning
knowledge base
database systems
multiscale
distributed systems
high order
computing systems