0 | -- | 0 | Sergey Slavnov. Making first order linear logic a generating grammar |
0 | -- | 0 | Joseph W. N. Paulus, Daniele Nantes Sobrinho, Jorge A. Pérez 0001. Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) |
0 | -- | 0 | Gustav Grabolle. A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings |
0 | -- | 0 | Fredrik Dahlqvist, Renato Neves. The syntactic side of autonomous categories enriched over generalised metric spaces |
0 | -- | 0 | Stepan L. Kuznetsov. Relational Models for the Lambek Calculus with Intersection and Constants |
0 | -- | 0 | Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel. Efficient Evaluation of Arbitrary Relational Calculus Queries |
0 | -- | 0 | Wen Kokke, Ornela Dardha. Prioritise the Best Variation |
0 | -- | 0 | Paulo Emílio de Vilhena, François Pottier. Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library |
0 | -- | 0 | Wim Martens, Matthias Niewerth, Tina Popp. A Trichotomy for Regular Trail Queries |
0 | -- | 0 | Nicolas Gagné, Prakash Panangaden. A categorical characterization of relative entropy on standard Borel spaces |
0 | -- | 0 | Roberto Casadei, Stefano Mariani 0001, Danilo Pianini, Mirko Viroli, Franco Zambonelli. Space-Fluid Adaptive Sampling by Self-Organisation |
0 | -- | 0 | A. R. Balasubramanian, Javier Esparza, Mikhail A. Raskin. Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy |
0 | -- | 0 | Pascal Baumann 0001, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche. Existential Definability over the Subword Ordering |
0 | -- | 0 | Udi Boker, Karoliina Lehtinen. Token Games and History-Deterministic Quantitative-Automata |
0 | -- | 0 | Antonio Abu Nassar, Shaull Almagor. Simulation by Rounds of Letter-to-Letter Transducers |
0 | -- | 0 | Katrin Casel, Markus L. Schmid. Fine-Grained Complexity of Regular Path Queries |
0 | -- | 0 | Achim Blumensath. The Power-Set Construction for Tree Algebras |
0 | -- | 0 | Beniamino Accattoli. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic |
0 | -- | 0 | Arnaldo Cesco, Roberto Gorrieri. Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets |
0 | -- | 0 | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove. Arena-Independent Finite-Memory Determinacy in Stochastic Games |
0 | -- | 0 | Brecht Vandevoort, Bas Ketsman, Christoph Koch 0001, Frank Neven. Robustness against Read Committed for Transaction Templates with Functional Constraints |
0 | -- | 0 | Kirstin Peters, Uwe Nestmann, Christoph Wagner. FTMPST: Fault-Tolerant Multiparty Session Types |
0 | -- | 0 | Antoine Amarilli, Charles Paperman. Locality and Centrality: The Variety ZG |
0 | -- | 0 | Rémy Cerda, Lionel Vaux Auclair. Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications |
0 | -- | 0 | Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea. A model of actors and grey failures |
0 | -- | 0 | Andrej Dudenhefner. Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) |
0 | -- | 0 | Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath. Rewriting with Acyclic Queries: Mind Your Head |
0 | -- | 0 | Alain Finkel, Étienne Lozes. Synchronizability of Communicating Finite State Machines is not Decidable |
0 | -- | 0 | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs |
0 | -- | 0 | Francesco Ciraulo. Overlap Algebras as Almost Discrete Locales |
0 | -- | 0 | Anne Broadbent, Martti Karvonen. Categorical composable cryptography: extended version |
0 | -- | 0 | Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi. Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages |
0 | -- | 0 | David Fernández Duque, Yoàv Montacute. Dynamic Cantor Derivative Logic |
0 | -- | 0 | Paul C. Bell, Pavel Semukhin. Decision Questions for Probabilistic Automata on Small Alphabets |
0 | -- | 0 | Edon Kelmendi. Computing the Density of the Positivity Set for Linear Recurrence Sequences |
0 | -- | 0 | Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets. Impure Simplicial Complexes: Complete Axiomatization |
0 | -- | 0 | Lê Thành Dung Nguyên, Lutz Straßburger. A System of Interaction and Structure III: The Complexity of BV and Pomset Logic |
0 | -- | 0 | Léonard Brice, Marie van den Bogaard, Jean-François Raskin. Subgame-perfect Equilibria in Mean-payoff Games (journal version) |
0 | -- | 0 | Thomas Ehrhard. A coherent differential PCF |