On timed scope-bounded context-sensitive languages

DOI10.1007/978-3-030-24886-4_12OpenAlexW2964635598MaRDI QIDQ2327552FDOQ2327552

Authors: Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi, Devendra Bhave 

Publication date: 15 October 2019

Full work available at URL: https://arxiv.org/abs/1905.11125

Recommendations

• A perfect class of context-sensitive timed languages
• A perfect model for bounded verification
• Scope-bounded pushdown languages
• Scope-bounded pushdown languages
• scientific article; zbMATH DE number 1256652

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (1)

• Reachability relations of timed pushdown automata

This page was built for publication: On timed scope-bounded context-sensitive languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327552)