0 | -- | 0 | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. A theory of Automated Market Makers in DeFi |
0 | -- | 0 | Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth. Algebraic coherent confluence and higher globular Kleene algebras |
0 | -- | 0 | Thorsten Wißmann, Stefan Milius, Lutz Schröder. Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence |
0 | -- | 0 | Piotr Hofman, Jakub Rózycki. Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ |
0 | -- | 0 | Marie Farrell, Rosemary Monahan, James F. Power. Building Specifications in the Event-B Institution |
0 | -- | 0 | Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink. Geometric Model Checking of Continuous Space |
0 | -- | 0 | Antoine Amarilli, Benny Kimelfeld. Uniform Reliability of Self-Join-Free Conjunctive Queries |
0 | -- | 0 | Matteo Acclavio, Ross Horne, Lutz Straßburger. An Analytic Propositional Proof System on Graphs |
0 | -- | 0 | Nick Bezhanishvili, Jim de Groot, Yde Venema. Coalgebraic Geometric Logic: Basic Theory |
0 | -- | 0 | Maria Emilia Maietti, Samuele Maschio, Michael Rathjen. Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice |
0 | -- | 0 | Benno van den Berg, Robert Paßmann. Converse extensionality and apartness |
0 | -- | 0 | Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond |
0 | -- | 0 | Filippo Bonchi, Alessio Santamaria. Convexity via Weak Distributive Laws |