Regular Separators for VASS Coverability Languages.

Chris Köcher Georg Zetzsche

Published in: FSTTCS (2023)

Keyphrases

context free
expressive power
language independent
databases
grammatical inference
neural network
cross lingual
real world
multi lingual
information retrieval
genetic algorithm
data structure
expert systems
first order logic
context sensitive
text summarization