×

Found 52 Documents (Results 1–52)

Model-checking structured context-free languages. (English) Zbl 1493.68207

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 387-410 (2021).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Temporal logic and model checking for operator precedence languages. (English) Zbl 1528.68215

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 161-175 (2018).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Higher-order operator precedence languages. (English) Zbl 1483.68159

Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 86-100 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Weighted operator precedence languages. (English) Zbl 1441.68121

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 31, 15 p. (2017).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

First-order logic definability of free languages. (English) Zbl 1465.68122

Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9139, 310-324 (2015).
MSC:  68Q42 03D05 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Comparing linear conjunctive languages to subfamilies of the context-free languages. (English) Zbl 1298.68153

Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 431-443 (2011).
MSC:  68Q45 68Q80
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software