×

Found 26 Documents (Results 1–26)

On classical decidable logics extended with percentage quantifiers and arithmetics. (English) Zbl 07799614

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 36, 15 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pebble-intervals automata and \(\text{FO}^2\) with two orders. (English) Zbl 1437.68100

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Two variable fragment of term modal logic. (English) Zbl 07561674

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 30, 14 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

One-dimensional guarded fragments. (English) Zbl 07561660

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 16, 14 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The triguarded fragment of first-order logic. (English) Zbl 1416.03008

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 604-619 (2018).
PDFBibTeX XMLCite
Full Text: DOI

On the automated verification of web applications with embedded SQL. (English) Zbl 1402.68123

Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 16, 18 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monadic second order finite satisfiability and unbounded tree-width. (English) Zbl 1370.03020

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 13, 20 p. (2016).
MSC:  03B25 03B15 03C13
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decidability issues for two-variable logics with several linear orders. (English) Zbl 1247.03014

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 337-351, electronic only (2011).
MSC:  03B25
PDFBibTeX XMLCite
Full Text: DOI Link

The two-variable fragment with counting revisited. (English) Zbl 1305.68103

Dawar, Anuj (ed.) et al., Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6–9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13823-2/pbk). Lecture Notes in Computer Science 6188. Lecture Notes in Artificial Intelligence, 42-54 (2010).
MSC:  68Q25 03B20 03C80
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field