Hunter, Paul When is metric temporal logic expressively complete? (English) Zbl 1356.03063 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, 380-394 (2013). MSC: 03B44 PDFBibTeX XMLCite \textit{P. Hunter}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 380--394 (2013; Zbl 1356.03063) Full Text: DOI
French, Rohan Expressive power, mood, and actuality. (English) Zbl 1284.03053 Synthese 190, No. 9, 1689-1699 (2013). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{R. French}, Synthese 190, No. 9, 1689--1699 (2013; Zbl 1284.03053) Full Text: DOI
Ameloot, Tom J.; Neven, Frank; Van Den Bussche, Jan Relational transducers for declarative networking. (English) Zbl 1281.68090 J. ACM 60, No. 2, Article No. 15, 38 p. (2013). MSC: 68P15 PDFBibTeX XMLCite \textit{T. J. Ameloot} et al., J. ACM 60, No. 2, Article No. 15, 38 p. (2013; Zbl 1281.68090) Full Text: DOI arXiv
Gabbrielli, Maurizio; Mauro, Jacopo; Meo, Maria Chiara The expressive power of CHR with priorities. (English) Zbl 1358.68053 Inf. Comput. 228-229, 62-82 (2013). MSC: 68N15 PDFBibTeX XMLCite \textit{M. Gabbrielli} et al., Inf. Comput. 228--229, 62--82 (2013; Zbl 1358.68053) Full Text: DOI
Pratt-Hartmann, Ian; Düntsch, Ivo Functions definable by numerical set-expressions. (English) Zbl 1284.68304 J. Log. Comput. 23, No. 4, 873-895 (2013). MSC: 68Q25 94C10 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann} and \textit{I. Düntsch}, J. Log. Comput. 23, No. 4, 873--895 (2013; Zbl 1284.68304) Full Text: DOI
Barbero, Fausto On existential declarations of independence in IF logic. (English) Zbl 1283.03055 Rev. Symb. Log. 6, No. 2, 254-280 (2013). MSC: 03B60 PDFBibTeX XMLCite \textit{F. Barbero}, Rev. Symb. Log. 6, No. 2, 254--280 (2013; Zbl 1283.03055) Full Text: DOI arXiv
Kuusisto, Antti Expressivity of imperfect information logics without identity. (English) Zbl 1269.03032 Stud. Log. 101, No. 2, 237-265 (2013). MSC: 03B60 03B15 PDFBibTeX XMLCite \textit{A. Kuusisto}, Stud. Log. 101, No. 2, 237--265 (2013; Zbl 1269.03032) Full Text: DOI
Delzanno, Giorgio; Rosa-Velardo, Fernando On the coverability and reachability languages of monotonic extensions of Petri nets. (English) Zbl 1277.68178 Theor. Comput. Sci. 467, 12-29 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Delzanno} and \textit{F. Rosa-Velardo}, Theor. Comput. Sci. 467, 12--29 (2013; Zbl 1277.68178) Full Text: DOI