0 | -- | 0 | Daniel de Carvalho. Taylor expansion in linear logic is invertible |
0 | -- | 0 | Dimitris Mostrous, Vasco T. Vasconcelos. Affine Sessions |
0 | -- | 0 | Ana Sokolova, Harald Woracek. Termination in Convex Sets of Distributions |
0 | -- | 0 | Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001. Model Checking Flat Freeze LTL on One-Counter Automata |
0 | -- | 0 | Nadia Creignou, Reinhard Pichler, Stefan Woltran. Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? |
0 | -- | 0 | Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell 0001. Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata |
0 | -- | 0 | Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen. Reasoning About Bounds in Weighted Transition Systems |
0 | -- | 0 | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL |
0 | -- | 0 | Simon Docherty, David J. Pym. Intuitionistic Layered Graph Logic: Semantics and Proof Theory |
0 | -- | 0 | Moses Ganardi, Stefan Göller, Markus Lohrey. The Complexity of Bisimulation and Simulation on Finite Systems |
0 | -- | 0 | John Fearnley, Rahul Savani. The Complexity of All-switches Strategy Improvement |
0 | -- | 0 | Vasco Brattka, Arno Pauly. On the algebraic structure of Weihrauch degrees |
0 | -- | 0 | Bertram Felgenhauer. Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently |
0 | -- | 0 | Revantha Ramanayake. Inducing syntactic cut-elimination for indexed nested sequents |
0 | -- | 0 | Arnon Avron, Liron Cohen 0001. Applicable Mathematics in a Minimal Computational Theory of Sets |
0 | -- | 0 | Davide Rinaldi, Daniel Wessel. Extension by Conservation. Sikorski's Theorem |
0 | -- | 0 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare. A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains |
0 | -- | 0 | Thomas Place. Separating regular languages with two quantifier alternations |
0 | -- | 0 | Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu. Codensity Lifting of Monads and its Dual |
0 | -- | 0 | Kshitij Bansal, Clark Barrett, Andrew Reynolds, Cesare Tinelli. Reasoning with Finite Sets and Cardinality Constraints in SMT |
0 | -- | 0 | Hans de Nivelle. Subsumption Algorithms for Three-Valued Geometric Resolution |
0 | -- | 0 | Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. One-way definability of two-way word transducers |
0 | -- | 0 | Ian Orton, Andrew M. Pitts. Axioms for Modelling Cubical Type Theory in a Topos |
0 | -- | 0 | Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere. Local Redundancy in SAT: Generalizations of Blocked Clauses |