×

Found 16 Documents (Results 1–16)

The fluted fragment with transitivity. (English) Zbl 07561662

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 18, 15 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quine’s fluted fragment is non-elementary. (English) Zbl 1370.03019

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 39, 21 p. (2016).
MSC:  03B20 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Means and limits of decision (invited talk). (English) Zbl 1356.03050

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 28-29 (2013).
MSC:  03B25
PDFBibTeX XMLCite
Full Text: DOI

\(\mathrm{FO}^2\) with one transitive relation is decidable. (English) Zbl 1354.03007

Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 317-328 (2013).
MSC:  03B25 03B20 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Querying the guarded fragment with transitivity. (English) Zbl 1335.68078

Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 287-298 (2013).
MSC:  68P15 03B25 03B70
PDFBibTeX XMLCite
Full Text: DOI

Two-variable first-order logic with equivalence closure. (English) Zbl 1362.68107

Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 431-440 (2012).
MSC:  68Q25 03B20 68Q17
PDFBibTeX XMLCite
Full Text: DOI

On the finite satisfiability problem for the guarded fragment with transitivity. (English) Zbl 1143.03331

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 307-321 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Counting in the two variable guarded logic with transitivity. (English) Zbl 1118.03313

Diekert, Volker (ed.) et al., STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24998-2/pbk). Lecture Notes in Computer Science 3404, 83-96 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field