Dynamic Dependency Pairs for Algebraic Functional Systems

Cynthia Kop Femke van Raamsdonk

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

intelligent systems
distributed systems
management system
dynamic constraints
complex systems
building blocks
neural network
image processing
expert systems
database
social networks
artificial intelligence
dynamic environments
data sets
mathematical models
computing systems
real time