Behavioural Equivalence for Infinite Systems - Partially Decidable!

Kim Sunesen Mogens Nielsen

Published in: Application and Theory of Petri Nets (1996)

Keyphrases

artificial intelligence
management system
building blocks
databases
expert systems
database
data sets
social networks
computer vision
information systems
case study
intelligent systems
computer systems
learning systems