Abdulla, Parosh Aziz; Clemente, Lorenzo; Mayr, Richard; Sandberg, Sven Stochastic parity games on lossy channel systems. (English) Zbl 1448.68282 Log. Methods Comput. Sci. 10, No. 4, Paper No. 21, 21 p. (2014). MSC: 68Q60 68Q87 91A15 91A43 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 21, 21 p. (2014; Zbl 1448.68282) Full Text: DOI
Kouzapas, Dimitrios; Yoshida, Nobuko Globally governed session semantics. (English) Zbl 1448.68344 Log. Methods Comput. Sci. 10, No. 4, Paper No. 20, 45 p. (2014). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{D. Kouzapas} and \textit{N. Yoshida}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 20, 45 p. (2014; Zbl 1448.68344) Full Text: DOI
Bollig, Benedikt; Habermehl, Peter; Leucker, Martin; Monmege, Benjamin A robust class of data languages and an application to learning. (English) Zbl 1448.68258 Log. Methods Comput. Sci. 10, No. 4, Paper No. 19, 23 p. (2014). MSC: 68Q45 68Q32 PDF BibTeX XML Cite \textit{B. Bollig} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 19, 23 p. (2014; Zbl 1448.68258) Full Text: DOI
Leivant, Daniel M. Global semantic typing for inductive and coinductive computing. (English) Zbl 1356.03073 Log. Methods Comput. Sci. 10, No. 4, Paper No. 18, 23 p. (2014). MSC: 03B70 68N30 PDF BibTeX XML Cite \textit{D. M. Leivant}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 18, 23 p. (2014; Zbl 1356.03073) Full Text: DOI
Laroussinie, François; Markey, Nicolas Quantified CTL: expressiveness and complexity. (English) Zbl 1448.68304 Log. Methods Comput. Sci. 10, No. 4, Paper No. 17, 45 p. (2014). MSC: 68Q60 03B44 68Q17 PDF BibTeX XML Cite \textit{F. Laroussinie} and \textit{N. Markey}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 17, 45 p. (2014; Zbl 1448.68304) Full Text: DOI
Kreuzer, Alexander P. Bounded variation and the strength of Helly’s selection theorem. (English) Zbl 1322.03012 Log. Methods Comput. Sci. 10, No. 4, Paper No. 16, 23 p. (2014). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D30 PDF BibTeX XML Cite \textit{A. P. Kreuzer}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 16, 23 p. (2014; Zbl 1322.03012) Full Text: DOI arXiv
Buss, Sam; Cenzer, Douglas; Remmel, Jeffrey B. Sub-computable boundedness randomness. (English) Zbl 1325.03050 Log. Methods Comput. Sci. 10, No. 4, Paper No. 15, 27 p. (2014). MSC: 03D32 PDF BibTeX XML Cite \textit{S. Buss} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 15, 27 p. (2014; Zbl 1325.03050) Full Text: DOI
Chen, Hubie Beyond Q-resolution and prenex form: a proof system for quantified constraint satisfaction. (English) Zbl 1325.03071 Log. Methods Comput. Sci. 10, No. 4, Paper No. 14, 21 p. (2014). MSC: 03F20 03B35 68T20 PDF BibTeX XML Cite \textit{H. Chen}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 14, 21 p. (2014; Zbl 1325.03071) Full Text: DOI
Tsai, Ming-Hsien; Fogarty, Seth; Vardi, Moshe Y.; Tsay, Yih-Kuen State of Büchi complementation. (English) Zbl 1448.68278 Log. Methods Comput. Sci. 10, No. 4, Paper No. 13, 27 p. (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{M.-H. Tsai} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 13, 27 p. (2014; Zbl 1448.68278) Full Text: DOI
Kjos-Hanssen, Bjørn; Nguyen, Paul Kim Long V.; Rute, Jason Algorithmic randomness for Doob’s martingale convergence theorem in continuous time. (English) Zbl 1325.03051 Log. Methods Comput. Sci. 10, No. 4, Paper No. 12, 35 p. (2014). MSC: 03D32 60J65 60G44 PDF BibTeX XML Cite \textit{B. Kjos-Hanssen} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 12, 35 p. (2014; Zbl 1325.03051) Full Text: DOI arXiv
Turrini, Andrea; Hermanns, Holger Cost preserving bisimulations for probabilistic automata. (English) Zbl 1448.68353 Log. Methods Comput. Sci. 10, No. 4, Paper No. 11, 58 p. (2014). MSC: 68Q85 68Q45 68Q87 PDF BibTeX XML Cite \textit{A. Turrini} and \textit{H. Hermanns}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 11, 58 p. (2014; Zbl 1448.68353) Full Text: DOI
Schöpp, Ulrich On the relation of interaction semantics to continuations and defunctionalization. (English) Zbl 1448.68210 Log. Methods Comput. Sci. 10, No. 4, Paper No. 10, 41 p. (2014). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{U. Schöpp}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 10, 41 p. (2014; Zbl 1448.68210) Full Text: DOI
Bauer, Andrej; Pretnar, Matija An effect system for algebraic effects and handlers. (English) Zbl 1448.68203 Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{M. Pretnar}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 9, 29 p. (2014; Zbl 1448.68203) Full Text: DOI
Assaf, Ali; Díaz-Caro, Alejandro; Perdrix, Simon; Tasson, Christine; Valiron, Benoît Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus. (English) Zbl 1434.68077 Log. Methods Comput. Sci. 10, No. 4, Paper No. 8, 40 p. (2014). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{A. Assaf} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 8, 40 p. (2014; Zbl 1434.68077) Full Text: DOI
Hertling, Peter; Spandl, Christoph Computing a solution of Feigenbaum’s functional equation in polynomial time. (English) Zbl 1448.03035 Log. Methods Comput. Sci. 10, No. 4, Paper No. 7, 9 p. (2014). MSC: 03D78 37C25 68Q25 PDF BibTeX XML Cite \textit{P. Hertling} and \textit{C. Spandl}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 7, 9 p. (2014; Zbl 1448.03035) Full Text: DOI arXiv
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin Stochastic timed automata. (English) Zbl 1448.68256 Log. Methods Comput. Sci. 10, No. 4, Paper No. 6, 73 p. (2014). MSC: 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{N. Bertrand} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 6, 73 p. (2014; Zbl 1448.68256) Full Text: DOI
de Boer, Frank; Jaghoori, Mahdi; Laneve, Cosimo; Zavattaro, Gianluigi Decidability problems for actor systems. (English) Zbl 1448.68337 Log. Methods Comput. Sci. 10, No. 4, Paper No. 5, 29 p. (2014). MSC: 68Q85 03B25 PDF BibTeX XML Cite \textit{F. de Boer} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 5, 29 p. (2014; Zbl 1448.68337) Full Text: DOI
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe The power of priority channel systems. (English) Zbl 1448.68341 Log. Methods Comput. Sci. 10, No. 4, Paper No. 4, 39 p. (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Haase} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 4, 39 p. (2014; Zbl 1448.68341) Full Text: DOI
He, Yuguo On the strictness of the quantifier structure hierarchy in first-order logic. (English) Zbl 1345.03016 Log. Methods Comput. Sci. 10, No. 4, Paper No. 3, 38 p. (2014). MSC: 03B10 03C07 03C13 68Q19 PDF BibTeX XML Cite \textit{Y. He}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 3, 38 p. (2014; Zbl 1345.03016) Full Text: DOI
Hirschowitz, Tom Full abstraction for fair testing in CCS (expanded version). (English) Zbl 1310.68150 Log. Methods Comput. Sci. 10, No. 4, Paper No. 2, 80 p. (2014). MSC: 68Q85 68Q55 68Q65 PDF BibTeX XML Cite \textit{T. Hirschowitz}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 2, 80 p. (2014; Zbl 1310.68150) Full Text: DOI
Kotek, Tomer; Makowsky, Johann A. Connection matrices and the definability of graph parameters. (English) Zbl 1345.03054 Log. Methods Comput. Sci. 10, No. 4, Paper No. 1, 33 p. (2014). MSC: 03C13 03C80 05C50 PDF BibTeX XML Cite \textit{T. Kotek} and \textit{J. A. Makowsky}, Log. Methods Comput. Sci. 10, No. 4, Paper No. 1, 33 p. (2014; Zbl 1345.03054) Full Text: DOI arXiv