Equivalence-Checking with Infinite-State Systems: Techniques and Results.

Antonín Kucera Petr Jancar

Published in: SOFSEM (2002)

Keyphrases

expert systems
management system
data sets
retrieval systems
systems require
knowledge base
image processing
computer systems
neural network
artificial intelligence
image segmentation
query language
knowledge based systems
np complete
building blocks
complex systems