×

Found 31 Documents (Results 1–31)

Almost necessary. (English) Zbl 1385.03017

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 178-196 (2014).
MSC:  03B45
PDFBibTeX XMLCite

Definability and computability for PRSPDL. (English) Zbl 1385.03033

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 16-33 (2014).
MSC:  03B70 03B45
PDFBibTeX XMLCite

Preservation and decomposition theorems for bounded degree structures. (English) Zbl 1394.03060

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 49, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Effective interpolation and preservation in guarded logics. (English) Zbl 1394.03050

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 13, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

The completeness of isomorphism. (English) Zbl 1337.03074

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 157-163 (2014).
PDFBibTeX XMLCite

Definability for downward and vertical XPath on data trees. (English) Zbl 1317.68038

Kohlenbach, Ulrich (ed.) et al., Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44144-2/pbk). Lecture Notes in Computer Science 8652, 20-35 (2014).
MSC:  68P05 03B70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software