Login / Signup
Linear Temporal Logics for Structured Context-Free Languages.
Michele Chiari
Davide Bergamaschi
Dino Mandrioli
Matteo Pradella
Published in:
ICTCS (2020)
Keyphrases
</>
temporal logic
context free languages
model checking
mazurkiewicz traces
context free grammars
modal logic
context free
grammatical inference
satisfiability problem
belief revision
regular languages
structured data
finite state