Highly Undecidable Questions for Process Algebras.

Petr Jancar Jirí Srba

Published in: IFIP TCS (2004)

Keyphrases

data mining
database
neural network
real world
information retrieval
artificial intelligence
knowledge base
web services
case study
multi agent systems
computational complexity
artificial neural networks
design process
data exchange
development process