×

Found 18 Documents (Results 1–18)

A decidable fragment of second order logic with applications to synthesis. (English) Zbl 1528.03093

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 31, 19 p. (2018).
MSC:  03B25 03B16 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Expressivity within second-order transitive-closure logic. (English) Zbl 1528.68141

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 22, 18 p. (2018).
MSC:  68Q19 03B16 03C13
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 1512.68154

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A fixpoint logic and dependent effects for temporal property verification. (English) Zbl 1497.68317

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 759-768 (2018).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI

A logical account for linear partial differential equations. (English) Zbl 1452.03135

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 589-598 (2018).
MSC:  03F52 18C50 35G05
PDFBibTeX XMLCite
Full Text: DOI

Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis. (English) Zbl 1418.03032

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 237-256 (2018).
MSC:  03B15 03B42
PDFBibTeX XMLCite

Filter Results by …

Database

all top 3

Main Field

all top 3

Software