Leivant, Daniel M. Alternating Turing machines for inductive languages. (English) Zbl 1322.03030 Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D10 03D60 03D70 PDF BibTeX XML Cite \textit{D. M. Leivant}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013; Zbl 1322.03030) Full Text: DOI
Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel Abstract GSOS rules and a modular treatment of recursive definitions. (English) Zbl 1307.68051 Log. Methods Comput. Sci. 9, No. 3, Paper No. 30, 52 p., appendix, 14 p. (2013). MSC: 68Q65 18C10 PDF BibTeX XML Cite \textit{S. Milius} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 30, 52 p., appendix, 14 p. (2013; Zbl 1307.68051) Full Text: DOI arXiv
Freer, Cameron E.; Kjos-Hanssen, Bjoern Randomness extraction and asymptotic Hamming distance. (English) Zbl 1361.03041 Log. Methods Comput. Sci. 9, No. 3, Paper No. 29, 14 p. (2013). MSC: 03D32 03D30 68Q30 PDF BibTeX XML Cite \textit{C. E. Freer} and \textit{B. Kjos-Hanssen}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 29, 14 p. (2013; Zbl 1361.03041) Full Text: DOI arXiv
Cerone, Andrea; Hennessy, Matthew Modelling probabilistic wireless networks. (English) Zbl 1274.68225 Log. Methods Comput. Sci. 9, No. 3, Paper No. 28, 68 p. (2013). MSC: 68Q85 68M12 68R10 PDF BibTeX XML Cite \textit{A. Cerone} and \textit{M. Hennessy}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 28, 68 p. (2013; Zbl 1274.68225) Full Text: DOI
Segoufin, Luc; ten Cate, Balder Unary negation. (English) Zbl 1285.03004 Log. Methods Comput. Sci. 9, No. 3, Paper No. 25, 46 p. (2013). MSC: 03B20 03B25 03B70 68Q25 68Q60 PDF BibTeX XML Cite \textit{L. Segoufin} and \textit{B. ten Cate}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 25, 46 p. (2013; Zbl 1285.03004) Full Text: DOI
Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James A static analysis framework for livelock freedom in CSP. (English) Zbl 1274.68250 Log. Methods Comput. Sci. 9, No. 3, Paper No. 24, 52 p. (2013). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. Ouaknine} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 24, 52 p. (2013; Zbl 1274.68250) Full Text: DOI
Jacobs, Bart Bases as coalgebras. (English) Zbl 1285.18005 Log. Methods Comput. Sci. 9, No. 3, Paper No. 23, 21 p. (2013). Reviewer: Václav Koubek (Praha) MSC: 18C20 18C50 18D05 18D20 06D22 81P68 68Q55 PDF BibTeX XML Cite \textit{B. Jacobs}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 23, 21 p. (2013; Zbl 1285.18005) Full Text: DOI
Bowler, Nathan; Goncharov, Sergey; Levy, Paul Blain; Schröder, Lutz Exploring the boundaries of monad tensorability on Set. (English) Zbl 1287.18004 Log. Methods Comput. Sci. 9, No. 3, Paper No. 22, 18 p. (2013). Reviewer: Juan Climent Vidal (València) MSC: 18C15 68Q55 PDF BibTeX XML Cite \textit{N. Bowler} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 22, 18 p. (2013; Zbl 1287.18004) Full Text: DOI
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. Reachability under contextual locking. (English) Zbl 1274.68064 Log. Methods Comput. Sci. 9, No. 3, Paper No. 21, 17 p. (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Bonnet} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 21, 17 p. (2013; Zbl 1274.68064) Full Text: DOI
Schuster, Peter M. Induction in algebra: a first case study. (English) Zbl 1277.03065 Log. Methods Comput. Sci. 9, No. 3, Paper No. 20, 19 p. (2013). Reviewer: Johan Georg Granström (Zürich) MSC: 03F65 16Z05 06B10 06F10 03E25 68W30 PDF BibTeX XML Cite \textit{P. M. Schuster}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 20, 19 p. (2013; Zbl 1277.03065) Full Text: DOI arXiv
Case, John; Jain, Sanjay; Stephan, Frank Automatic functions, linear time and learning. (English) Zbl 1274.68143 Log. Methods Comput. Sci. 9, No. 3, Paper No. 19, 26 p. (2013). MSC: 68Q32 68Q05 68Q45 PDF BibTeX XML Cite \textit{J. Case} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 19, 26 p. (2013; Zbl 1274.68143) Full Text: DOI
Khomenko, Victor; Meyer, Roland; Hüchting, Reiner A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets. (English) Zbl 1274.68239 Log. Methods Comput. Sci. 9, No. 3, Paper No. 18, 36 p. (2013). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{V. Khomenko} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 18, 36 p. (2013; Zbl 1274.68239) Full Text: DOI
van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard On characterising distributability. (English) Zbl 1274.68261 Log. Methods Comput. Sci. 9, No. 3, Paper No. 17, 34 p. (2013). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. J. van Glabbeek} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 17, 34 p. (2013; Zbl 1274.68261) Full Text: DOI
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel Connector algebras for C/E and P/T nets’ interactions. (English) Zbl 1274.68224 Log. Methods Comput. Sci. 9, No. 3, Paper No. 16, 65 p. (2013). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Bruni} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 16, 65 p. (2013; Zbl 1274.68224) Full Text: DOI
Nordstrom, Jakob Pebble games, proof complexity, and time-space trade-offs. (English) Zbl 1285.03070 Log. Methods Comput. Sci. 9, No. 3, Paper No. 15, 63 p. (2013). MSC: 03F20 03-02 PDF BibTeX XML Cite \textit{J. Nordstrom}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 15, 63 p. (2013; Zbl 1285.03070) Full Text: DOI arXiv
Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M. Coalgebraic characterizations of context-free languages. (English) Zbl 1274.68215 Log. Methods Comput. Sci. 9, No. 3, Paper No. 14, 39 p. (2013). MSC: 68Q70 PDF BibTeX XML Cite \textit{J. Winter} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 14, 39 p. (2013; Zbl 1274.68215) Full Text: DOI
Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir Reachability problem for weak multi-pushdown automata. (English) Zbl 1274.68156 Log. Methods Comput. Sci. 9, No. 3, Paper No. 13, 29 p. (2013). MSC: 68Q45 68Q17 68Q25 PDF BibTeX XML Cite \textit{W. Czerwiński} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 13, 29 p. (2013; Zbl 1274.68156) Full Text: DOI
Gotsman, Alexey; Yang, Hongseok Linearizability with ownership transfer. (English) Zbl 1274.68072 Log. Methods Comput. Sci. 9, No. 3, Paper No. 12, 47 p. (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Gotsman} and \textit{H. Yang}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 12, 47 p. (2013; Zbl 1274.68072) Full Text: DOI
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen Measure transformer semantics for Bayesian machine learning. (English) Zbl 1274.68295 Log. Methods Comput. Sci. 9, No. 3, Paper No. 11, 39 p. (2013). MSC: 68T05 68N15 PDF BibTeX XML Cite \textit{J. Borgström} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 11, 39 p. (2013; Zbl 1274.68295) Full Text: DOI
Hirschowitz, Tom Cartesian closed 2-categories and permutation equivalence in higher-order rewriting. (English) Zbl 1272.68184 Log. Methods Comput. Sci. 9, No. 3, Paper No. 10, 22 p. (2013). MSC: 68Q42 03B40 18D05 18D15 68Q55 PDF BibTeX XML Cite \textit{T. Hirschowitz}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 10, 22 p. (2013; Zbl 1272.68184) Full Text: DOI arXiv
Mori, Takakazu; Tsujii, Yoshiki; Yasugi, Mariko Computability of probability distributions and characteristic functions. (English) Zbl 1284.03218 Log. Methods Comput. Sci. 9, No. 3, Paper No. 9, 11 p. (2013). MSC: 03D78 03D45 60E99 60F05 PDF BibTeX XML Cite \textit{T. Mori} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 9, 11 p. (2013; Zbl 1284.03218) Full Text: DOI arXiv
Mikulski, Łukasz Algebraic structure of combined traces. (English) Zbl 1272.68316 Log. Methods Comput. Sci. 9, No. 3, Paper No. 8, 26 p. (2013). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{Ł. Mikulski}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 8, 26 p. (2013; Zbl 1272.68316) Full Text: DOI
Filmus, Yuval Universal codes of the natural numbers. (English) Zbl 1284.03233 Log. Methods Comput. Sci. 9, No. 3, Paper No. 7, 11 p. (2013). MSC: 03E35 03E75 94B40 94B60 PDF BibTeX XML Cite \textit{Y. Filmus}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 7, 11 p. (2013; Zbl 1284.03233) Full Text: DOI arXiv
Ghani, Neil; Johann, Patricia; Fumex, Clement Indexed induction and coinduction, fibrationally. (English) Zbl 1285.68097 Log. Methods Comput. Sci. 9, No. 3, Paper No. 6, 31 p. (2013). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Ghani} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 6, 31 p. (2013; Zbl 1285.68097) Full Text: DOI
Weihrauch, Klaus Computably regular topological spaces. (English) Zbl 1285.03076 Log. Methods Comput. Sci. 9, No. 3, Paper No. 5, 24 p. (2013). MSC: 03F60 54D10 54D15 PDF BibTeX XML Cite \textit{K. Weihrauch}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 5, 24 p. (2013; Zbl 1285.03076) Full Text: DOI arXiv
Lüttgen, Gerald; Vogler, Walter Modal interface automata. (English) Zbl 1272.68313 Log. Methods Comput. Sci. 9, No. 3, Paper No. 4, 28 p. (2013). MSC: 68Q85 68N30 68Q45 68Q60 PDF BibTeX XML Cite \textit{G. Lüttgen} and \textit{W. Vogler}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 4, 28 p. (2013; Zbl 1272.68313) Full Text: DOI
Colcombet, Thomas Regular cost functions. I: Logic and algebra over words. (English) Zbl 1280.03044 Log. Methods Comput. Sci. 9, No. 3, Paper No. 3, 47 p. (2013). Reviewer: Heribert Vollmer (Hannover) MSC: 03D05 03D35 03D40 68Q42 68Q45 PDF BibTeX XML Cite \textit{T. Colcombet}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 3, 47 p. (2013; Zbl 1280.03044) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes Well-pointed coalgebras. (English) Zbl 1272.18002 Log. Methods Comput. Sci. 9, No. 3, Paper No. 2, 51 p. (2013). MSC: 18C05 18C10 68Q65 68Q70 PDF BibTeX XML Cite \textit{J. Adámek} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 2, 51 p. (2013; Zbl 1272.18002) Full Text: DOI arXiv
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations. (English) Zbl 1272.03147 Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013). MSC: 03D05 03B70 68P15 68Q45 68R15 PDF BibTeX XML Cite \textit{P. Barceló} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013; Zbl 1272.03147) Full Text: DOI