Complete formal systems for equivalence problems.

Géraud Sénizergues

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

Keyphrases

solving problems
complex systems
problems involving
difficult problems
distributed systems
building blocks
retrieval systems
formal methods
expert systems
data model
intelligent systems
knowledge based systems
np complete
decision problems
specific problems