Barthe, Gilles; Espitau, Thomas; Hsu, Justin; Sato, Tetsuya; Strub, Pierre-Yves Relational \(\star\)-liftings for differential privacy. (English) Zbl 1442.68099 Log. Methods Comput. Sci. 15, No. 4, Paper No. 18, 32 p. (2019). MSC: 68Q60 68P27 PDFBibTeX XMLCite \textit{G. Barthe} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 18, 32 p. (2019; Zbl 1442.68099) Full Text: arXiv
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Concurrency and probability: removing confusion, compositionally. (English) Zbl 1427.68186 Log. Methods Comput. Sci. 15, No. 4, Paper No. 17, 39 p. (2019). MSC: 68Q85 68Q10 68Q87 PDFBibTeX XMLCite \textit{R. Bruni} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 17, 39 p. (2019; Zbl 1427.68186) Full Text: arXiv
Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan Logical and algebraic characterizations of rational transductions. (English) Zbl 1440.68173 Log. Methods Comput. Sci. 15, No. 4, Paper No. 16, 42 p. (2019). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q70 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 16, 42 p. (2019; Zbl 1440.68173) Full Text: arXiv
Leroux, Jérôme; Praveen, M.; Schnoebelen, Philippe; Sutre, Grégoire On functions weakly computable by pushdown Petri nets and related systems. (English) Zbl 1427.68203 Log. Methods Comput. Sci. 15, No. 4, Paper No. 15, 26 p. (2019). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{J. Leroux} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 15, 26 p. (2019; Zbl 1427.68203) Full Text: arXiv
Keshvardoost, Khadijeh; Klin, Bartek; Lasota, Sławomir; Ochremiak, Joanna; Toruńczyk, Szymon Definable isomorphism problem. (English) Zbl 1509.03103 Log. Methods Comput. Sci. 15, No. 4, Paper No. 14, 19 p. (2019). MSC: 03C40 03C15 03C35 03B25 PDFBibTeX XMLCite \textit{K. Keshvardoost} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 14, 19 p. (2019; Zbl 1509.03103) Full Text: arXiv
Pradic, Pierre; Riba, Colin A Curry-Howard approach to Church’s synthesis. (English) Zbl 1509.03121 Log. Methods Comput. Sci. 15, No. 4, Paper No. 13, 38 p. (2019). MSC: 03D05 03B16 03F35 03F55 68Q45 PDFBibTeX XMLCite \textit{P. Pradic} and \textit{C. Riba}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 13, 38 p. (2019; Zbl 1509.03121) Full Text: arXiv
Knop, Dušan; Koutecký, Martin; Masařík, Tomáš; Toufar, Tomáš Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity. (English) Zbl 1427.68125 Log. Methods Comput. Sci. 15, No. 4, Paper No. 12, 32 p. (2019). MSC: 68Q25 03B16 68Q60 68R10 PDFBibTeX XMLCite \textit{D. Knop} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 12, 32 p. (2019; Zbl 1427.68125) Full Text: arXiv
Bojańczyk, Mikołaj; Klin, Bartek A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra. (English) Zbl 1427.68178 Log. Methods Comput. Sci. 15, No. 4, Paper No. 11, 13 p. (2019). MSC: 68Q70 08A40 08A70 PDFBibTeX XMLCite \textit{M. Bojańczyk} and \textit{B. Klin}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 11, 13 p. (2019; Zbl 1427.68178) Full Text: arXiv
Kuperberg, Denis; Majumdar, Anirban Computing the width of non-deterministic automata. (English) Zbl 1440.68157 Log. Methods Comput. Sci. 15, No. 4, Paper No. 10, 31 p. (2019). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kuperberg} and \textit{A. Majumdar}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 10, 31 p. (2019; Zbl 1440.68157) Full Text: arXiv
Kupferman, Orna; Vardi, Gal Flow logic. (English) Zbl 1442.03014 Log. Methods Comput. Sci. 15, No. 4, Paper No. 9, 24 p. (2019). MSC: 03B70 03B44 05C21 68Q60 68R10 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{G. Vardi}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 9, 24 p. (2019; Zbl 1442.03014) Full Text: arXiv
Pacaud Lemay, Jean-Simon Lifting coalgebra modalities and MELL model structure to Eilenberg-Moore categories. (English) Zbl 1454.03083 Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019). MSC: 03F52 03G30 18C20 18M05 PDFBibTeX XMLCite \textit{J.-S. Pacaud Lemay}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019; Zbl 1454.03083) Full Text: arXiv
Muroya, Koko; Ghica, Dan R. The dynamic geometry of interaction machine: a token-guided graph rewriter. (English) Zbl 1442.68030 Log. Methods Comput. Sci. 15, No. 4, Paper No. 7, 32 p. (2019). MSC: 68N18 03B40 03F52 68Q42 PDFBibTeX XMLCite \textit{K. Muroya} and \textit{D. R. Ghica}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 7, 32 p. (2019; Zbl 1442.68030) Full Text: arXiv
Pistone, Paolo On completeness and parametricity in the realizability semantics of System F. (English) Zbl 1496.03064 Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019). MSC: 03B40 03B70 03F05 03F52 PDFBibTeX XMLCite \textit{P. Pistone}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019; Zbl 1496.03064) Full Text: arXiv
Klin, Bartek; Łełyk, Mateusz Scalar and vectorial \(\mu\)-calculus with atoms. (English) Zbl 1442.68108 Log. Methods Comput. Sci. 15, No. 4, Paper No. 5, 47 p. (2019). MSC: 68Q60 03B45 PDFBibTeX XMLCite \textit{B. Klin} and \textit{M. Łełyk}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 5, 47 p. (2019; Zbl 1442.68108) Full Text: arXiv
Esik, Zoltan; Kozen, Dexter On free \(\omega\)-continuous and regular ordered algebras. (English) Zbl 1442.68116 Log. Methods Comput. Sci. 15, No. 4, Paper No. 4, 16 p. (2019). MSC: 68Q70 08A70 68Q55 PDFBibTeX XMLCite \textit{Z. Esik} and \textit{D. Kozen}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 4, 16 p. (2019; Zbl 1442.68116) Full Text: arXiv
Bendkowski, Maciej; Lescanne, Pierre On the enumeration of closures and environments with an application to random generation. (English) Zbl 1442.68023 Log. Methods Comput. Sci. 15, No. 4, Paper No. 3, 21 p. (2019). MSC: 68N18 03B40 05A15 PDFBibTeX XMLCite \textit{M. Bendkowski} and \textit{P. Lescanne}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 3, 21 p. (2019; Zbl 1442.68023) Full Text: arXiv
Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda Rule formats for nominal process calculi. (English) Zbl 1442.68119 Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019). MSC: 68Q85 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019; Zbl 1442.68119) Full Text: arXiv
Gouveia, Maria João; Santocanale, Luigi \(\aleph_1\) and the modal \(\mu\)-calculus. (English) Zbl 1454.03027 Log. Methods Comput. Sci. 15, No. 4, Paper No. 1, 34 p. (2019). MSC: 03B45 03D70 03B70 PDFBibTeX XMLCite \textit{M. J. Gouveia} and \textit{L. Santocanale}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 1, 34 p. (2019; Zbl 1454.03027) Full Text: arXiv