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

Wojciech Czerwinski Piotr Hofman

Published in: CONCUR (2022)

Keyphrases

distributed systems
retrieval systems
formal languages
language learning
information systems
management system
computer systems
complex systems
data sets
natural language
relational databases
context dependent