de Carvalho, Daniel Taylor expansion in linear logic is invertible. (English) Zbl 1509.03164 Log. Methods Comput. Sci. 14, No. 4, Paper No. 21, 73 p. (2018). MSC: 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca; Puppis, Gabriele One-way definability of two-way word transducers. (English) Zbl 1404.68065 Log. Methods Comput. Sci. 14, No. 4, Paper No. 22, 54 p. (2018). MSC: 68Q45 03D05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Orton, Ian; Pitts, Andrew M. Axioms for modelling cubical type theory in a topos. (English) Zbl 1509.03054 Log. Methods Comput. Sci. 14, No. 4, Paper No. 23, 33 p. (2018). MSC: 03B38 03G30 18B25 55U40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de Nivelle, Hans Subsumption algorithms for three-valued geometric resolution. (English) Zbl 1405.68318 Log. Methods Comput. Sci. 14, No. 4, Paper No. 24, 29 p. (2018). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lechner, Antonia; Mayr, Richard; Ouaknine, Joël; Pouly, Amaury; Worrell, James Model checking flat Freeze LTL on one-counter automata. (English) Zbl 1405.68187 Log. Methods Comput. Sci. 14, No. 4, Paper No. 20, 21 p. (2018). MSC: 68Q60 03B25 03B44 03D05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Place, Thomas Separating regular languages with two quantifier alternations. (English) Zbl 1528.03173 Log. Methods Comput. Sci. 14, No. 4, Paper No. 16, 58 p. (2018). MSC: 03D05 03B10 03D15 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Ruggaard Pedersen, Mathias Reasoning about bounds in weighted transition systems. (English) Zbl 1528.68253 Log. Methods Comput. Sci. 14, No. 4, Paper No. 19, 32 p. (2018). MSC: 68Q85 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu A complete quantitative deduction system for the bisimilarity distance on Markov chains. (English) Zbl 1409.68182 Log. Methods Comput. Sci. 14, No. 4, Paper No. 15, 29 p. (2018). MSC: 68Q85 03B70 60J20 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sokolova, Ana; Woracek, Harald Termination in convex sets of distributions. (English) Zbl 1400.68146 Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018). MSC: 68Q87 18B20 18C20 68Q45 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ramanayake, Revantha Inducing syntactic cut-elimination for indexed nested sequents. (English) Zbl 1528.03235 Log. Methods Comput. Sci. 14, No. 4, Paper No. 18, 25 p. (2018). MSC: 03F05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James Game characterization of probabilistic bisimilarity, and applications to pushdown automata. (English) Zbl 1407.68252 Log. Methods Comput. Sci. 14, No. 4, Paper No. 13, 25 p. (2018). MSC: 68Q45 68Q25 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mostrous, Dimitris; Vasconcelos, Vasco Thudichum Affine sessions. (English) Zbl 1407.68338 Log. Methods Comput. Sci. 14, No. 4, Paper No. 14, 21 p. (2018). MSC: 68Q85 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fearnley, John; Savani, Rahul The complexity of all-switches strategy improvement. (English) Zbl 1402.68089 Log. Methods Comput. Sci. 14, No. 4, Paper No. 9, 57 p. (2018). MSC: 68Q25 68Q17 68W05 91A43 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. (English) Zbl 1448.68313 Log. Methods Comput. Sci. 14, No. 4, Paper No. 2, 38 p. (2018). MSC: 68Q60 03B44 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Brattka, Vasco; Pauly, Arno On the algebraic structure of Weihrauch degrees. (English) Zbl 1454.03053 Log. Methods Comput. Sci. 14, No. 4, Paper No. 4, 36 p. (2018). MSC: 03D30 03D78 03F60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Docherty, Simon; Pym, David Intuitionistic layered graph logic: semantics and proof theory. (English) Zbl 1454.03030 Log. Methods Comput. Sci. 14, No. 4, Paper No. 11, 36 p. (2018). MSC: 03B47 03B20 03F03 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Felgenhauer, Bertram Deciding confluence and normal form properties of ground term rewrite systems efficiently. (English) Zbl 1403.68105 Log. Methods Comput. Sci. 14, No. 4, Paper No. 7, 35 p. (2018). MSC: 68Q42 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Katsumata, Shin-Ya; Sato, Tetsuya; Uustalu, Tarmo Codensity lifting of monads and its dual. (English) Zbl 1398.18005 Log. Methods Comput. Sci. 14, No. 4, Paper No. 6, 31 p. (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18D30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bansal, Kshitij; Barrett, Clark; Reynolds, Andrew; Tinelli, Cesare Reasoning with finite sets and cardinality constraints in SMT. (English) Zbl 1403.68044 Log. Methods Comput. Sci. 14, No. 4, Paper No. 12, 31 p. (2018). MSC: 68P05 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ganardi, Moses; Göller, Stefan; Lohrey, Markus The complexity of bisimulation and simulation on finite systems. (English) Zbl 1402.68092 Log. Methods Comput. Sci. 14, No. 4, Paper No. 5, 29 p. (2018). MSC: 68Q25 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Avron, Arnon; Cohen, Liron Applicable mathematics in a minimal computational theory of sets. (English) Zbl 1454.03064 Log. Methods Comput. Sci. 14, No. 4, Paper No. 1, 29 p. (2018). MSC: 03E30 03B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan Do hard SAT-related reasoning tasks become easier in the Krom fragment? (English) Zbl 1403.68078 Log. Methods Comput. Sci. 14, No. 4, Paper No. 10, 25 p. (2018). MSC: 68Q25 03B05 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kiesl, Benjamin; Seidl, Martina; Tompits, Hans; Biere, Armin Local redundancy in SAT: generalizations of blocked clauses. (English) Zbl 1403.68239 Log. Methods Comput. Sci. 14, No. 4, Paper No. 3, 23 p. (2018). MSC: 68T20 03B05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rinaldi, Davide; Wessel, Daniel Extension by conservation. Sikorski’s theorem. (English) Zbl 1454.03085 Log. Methods Comput. Sci. 14, No. 4, Paper No. 8, 17 p. (2018). MSC: 03F60 03F03 06D05 06E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv