0 | -- | 0 | Yijia Chen, Michael Elberfeld, Moritz Müller. The parameterized space complexity of model-checking bounded variable first-order logic |
0 | -- | 0 | Damien Pous, Jurriaan Rot. Companions, Causality and Codensity |
0 | -- | 0 | Sven Schewe, Alexander Weinert, Martin Zimmermann 0002. Parity Games with Weights |
0 | -- | 0 | Stefano Berardi, Makoto Tatsuta. Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs |
0 | -- | 0 | Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham. Bounded Quantifier Instantiation for Checking Inductive Invariants |
0 | -- | 0 | Carsten Lutz, Inanç Seylan, Frank Wolter. The Data Complexity of Ontology-Mediated Queries with Closed Predicates |
0 | -- | 0 | Victor Marsault. An efficient algorithm to decide periodicity of bbb-recognisable sets using LSDF convention |
0 | -- | 0 | Dana Angluin, Timos Antonopoulos, Dana Fisman. Query learning of derived ωω\omega-tree languages in polynomial time |
0 | -- | 0 | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi. Divergence and unique solution of equations |
0 | -- | 0 | Sergey Slavnov. On noncommutative extensions of linear logic |
0 | -- | 0 | Lawrence Dunn, Jamie Vicary. Coherence for Frobenius pseudomonoids and the geometry of linear proofs |
0 | -- | 0 | Erwin Engeler. A Forgotten Theory of Proofs ? |
0 | -- | 0 | Thomas Kahl. Higher-dimensional automata modeling shared-variable systems |
0 | -- | 0 | Thomas Seiller. Interaction Graphs: Exponentials |
0 | -- | 0 | Benjamin Rossman. Subspace-Invariant AC00^0 Formulas |
0 | -- | 0 | Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge. Nash Equilibrium and Bisimulation Invariance |
0 | -- | 0 | Sergey Goncharov 0001, Lutz Schröder, Christoph Rauch, Maciej Piróg. Guarded and Unguarded Iteration for Generalized Processes |
0 | -- | 0 | Lionel Vaux. Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors |
0 | -- | 0 | Diogo Poças, Jeffery I. Zucker. Approximability in the GPAC |
0 | -- | 0 | Benedikt Bollig, Karin Quaas, Arnaud Sangnier. The Complexity of Flat Freeze LTL |
0 | -- | 0 | Martin Lück, Miikka Vilander. On the Succinctness of Atoms of Dependency |
0 | -- | 0 | Aleks Kissinger, Sander Uijlen. A categorical semantics for causal structure |
0 | -- | 0 | Anuj Dawar, Eryk Kopczynski. Logical properties of random graphs from small addable classes |
0 | -- | 0 | Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler. Abstract Completion, Formalized |
0 | -- | 0 | Berit Grußien. Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs |
0 | -- | 0 | Mikolaj Bojanczyk, Filippo Cavallari, Thomas Place, Michal Skrzypczak. Regular tree languages in low levels of the Wadge Hierarchy |
0 | -- | 0 | Michael Benedikt, Pierre Bourhis, Michael Vanden Boom. Definability and Interpolation within Decidable Fixpoint Logics |
0 | -- | 0 | Hugo Nobrega, Arno Pauly. Game characterizations and lower cones in the Weihrauch degrees |
0 | -- | 0 | Matthew de Brecht, Tatsuji Kawai. On the commutativity of the powerspace constructions |
0 | -- | 0 | Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz. Alternating, private alternating, and quantum alternating realtime automata |
0 | -- | 0 | Nathalie Bertrand 0001, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole. Controlling a population |
0 | -- | 0 | Giovanni de Felice, Amar Hadzihasanovic, Kang Feng Ng. A diagrammatic calculus of fermionic quantum circuits |
0 | -- | 0 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop. Quantitative Automata under Probabilistic Semantics |