Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina Flexible correct-by-construction programming. (English) Zbl 07731927 Log. Methods Comput. Sci. 19, No. 2, Paper No. 16, 36 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Runge} et al., Log. Methods Comput. Sci. 19, No. 2, Paper No. 16, 36 p. (2023; Zbl 07731927) Full Text: DOI arXiv
Bernardo, Marco; Mezzina, Claudio A. Bridging causal reversibility and time reversibility: a stochastic process algebraic approach. (English) Zbl 07731917 Log. Methods Comput. Sci. 19, No. 2, Paper No. 6, 27 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Bernardo} and \textit{C. A. Mezzina}, Log. Methods Comput. Sci. 19, No. 2, Paper No. 6, 27 p. (2023; Zbl 07731917) Full Text: DOI arXiv
Ciccone, Luca; Padovani, Luca Inference systems with corules for combined safety and liveness properties of binary session types. (English) Zbl 07596575 Log. Methods Comput. Sci. 18, No. 3, Paper No. 27, 29 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Ciccone} and \textit{L. Padovani}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 27, 29 p. (2022; Zbl 07596575) Full Text: DOI arXiv
Bodirsky, Manuel; Greiner, Johannes; Rydval, Jakub Tractable combinations of temporal CSPs. (English) Zbl 07566067 Log. Methods Comput. Sci. 18, No. 2, Paper No. 11, 33 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Bodirsky} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 11, 33 p. (2022; Zbl 07566067) Full Text: arXiv Link
Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. (English) Zbl 07566058 Log. Methods Comput. Sci. 18, No. 2, Paper No. 2, 24 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{S. Ghilardi} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 2, 24 p. (2022; Zbl 07566058) Full Text: arXiv Link
Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel A cubical language for Bishop sets. (English) Zbl 07566056 Log. Methods Comput. Sci. 18, No. 1, Paper No. 43, 80 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Sterling} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 43, 80 p. (2022; Zbl 07566056) Full Text: arXiv Link
André, Étienne; Lime, Didier; Roux, Olivier H. Reachability and liveness in parametric timed automata. (English) Zbl 07566044 Log. Methods Comput. Sci. 18, No. 1, Paper No. 31, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{É. André} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 31, 41 p. (2022; Zbl 07566044) Full Text: arXiv Link
Ene, Cristian; Mounier, Laurent; Potet, Marie-Laure Output-sensitive information flow analysis. (English) Zbl 1509.94041 Log. Methods Comput. Sci. 17, No. 1, Paper No. 15, 29 p. (2021). MSC: 94A15 68Q60 PDFBibTeX XMLCite \textit{C. Ene} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 15, 29 p. (2021; Zbl 1509.94041) Full Text: arXiv Link
Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek Reversing place transition nets. (English) Zbl 07269252 Log. Methods Comput. Sci. 16, No. 4, Paper No. 5, 28 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{H. Melgratti} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 5, 28 p. (2020; Zbl 07269252) Full Text: arXiv Link
Bodirsky, Manuel; Greiner, Johannes The complexity of combinations of qualitative constraint satisfaction problems. (English) Zbl 1528.68142 Log. Methods Comput. Sci. 16, No. 1, Paper No. 21, 19 p. (2020). MSC: 68Q25 03B25 03C07 PDFBibTeX XMLCite \textit{M. Bodirsky} and \textit{J. Greiner}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 21, 19 p. (2020; Zbl 1528.68142) Full Text: arXiv Link
Furber, Robert; Mardare, Radu; Mio, Matteo Probabilistic logics based on Riesz spaces. (English) Zbl 1442.03010 Log. Methods Comput. Sci. 16, No. 1, Paper No. 6, 45 p. (2020). MSC: 03B45 03B48 03B70 06F20 68Q85 PDFBibTeX XMLCite \textit{R. Furber} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 6, 45 p. (2020; Zbl 1442.03010) Full Text: arXiv
Mamouras, Konstantinos Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism. (English) Zbl 1445.03037 Log. Methods Comput. Sci. 12, No. 3, Paper No. 6, 41 p. (2016). MSC: 03B70 68Q60 68Q17 PDFBibTeX XMLCite \textit{K. Mamouras}, Log. Methods Comput. Sci. 12, No. 3, Paper No. 6, 41 p. (2016; Zbl 1445.03037) Full Text: DOI arXiv