Equivalence-Preserving First-Order Unfold/Fold Transformation Systems.

Published in: Theor. Comput. Sci. (1992)

Keyphrases

distributed systems
intelligent systems
higher order
expert systems
management system
complex systems
computing systems
data sets
databases
machine learning
information systems
rough sets
first order logic
inductive logic programming