An Approach to Regular Separability in Vector Addition Systems.

Wojciech Czerwinski Georg Zetzsche

Published in: LICS (2020)

Keyphrases

distributed systems
computing systems
systems require
decision trees
case study
computer systems
building blocks
databases
machine learning
information systems
multiscale
expert systems
relational databases
complex systems