Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable.

Wojciech Czerwinski Piotr Hofman

Published in: CoRR (2022)

Keyphrases

distributed systems
expert systems
building blocks
real time
databases
information systems
relational databases
vector space
euclidean space
context dependent
specification language
formal languages