0 | -- | 0 | Andrew W. Swan. On the Nielsen-Schreier Theorem in Homotopy Type Theory |
0 | -- | 0 | Thierry Coquand, Simon Huber, Christian Sattler. Canonicity and homotopy canonicity for cubical type theory |
0 | -- | 0 | Jonathan Sterling, Carlo Angiuli, Daniel Gratzer. A Cubical Language for Bishop Sets |
0 | -- | 0 | Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani. Verified Approximation Algorithms |
0 | -- | 0 | Massimo Bartoletti, Stefano Lande, Maurizio Murgia 0001, Roberto Zunino. Verifying liquidity of recursive Bitcoin contracts |
0 | -- | 0 | Clifford Bergman, William J. DeMeo. Universal Algebraic Methods for Constraint Satisfaction Problems |
0 | -- | 0 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption |
0 | -- | 0 | Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi. Sequential Relational Decomposition |
0 | -- | 0 | Szymon Torunczyk, Thomas Zeume. Register Automata with Extrema Constraints, and an Application to Two-Variable Logic |
0 | -- | 0 | Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata |
0 | -- | 0 | Francesco Ciraulo. σ-locales in Formal Topology |
0 | -- | 0 | Mikolaj Bojanczyk, Michal Pilipczuk. Optimizing tree decompositions in MSO |
0 | -- | 0 | Maaike Zwart, Dan Marsden. No-Go Theorems for Distributive Laws |
0 | -- | 0 | Hans van Ditmarsch, Tim French 0002. Quantifying over Boolean announcements |
0 | -- | 0 | Antoine Amarilli, Ismail Ilkan Ceylan. The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs |
0 | -- | 0 | Mathieu Huot, Sam Staton, Matthijs Vákár. Higher Order Automatic Differentiation of Higher Order Functions |
0 | -- | 0 | Johannes Doleschal, Benny Kimelfeld, Wim Martens, Liat Peterfreund. Weight Annotation in Information Extraction |
0 | -- | 0 | Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues. Regular matching problems for infinite trees |
0 | -- | 0 | Mathias Hülsbusch, Barbara König 0001, Sebastian Küpper, Lars Stoltenow. Conditional Bisimilarity for Reactive Systems |
0 | -- | 0 | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti. A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems |
0 | -- | 0 | Mai Gehrke, Tomás Jakl, Luca Reggio. A duality theoretic view on limits of finite structures: Extended version |
0 | -- | 0 | Martin Grohe, Peter Lindner 0001. Infinite Probabilistic Databases |
0 | -- | 0 | Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux. A tier-based typed programming language characterizing Feasible Functionals |
0 | -- | 0 | Dominique Larchey-Wendling, Yannick Forster 0002. Hilbert's Tenth Problem in Coq (Extended Version) |
0 | -- | 0 | Batya Kenig, Dan Suciu. Integrity Constraints Revisited: From Exact to Approximate Implication |
0 | -- | 0 | Dan Plyukhin, Gul Agha. A Scalable Algorithm for Decentralized Actor Termination Detection |
0 | -- | 0 | Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi 0001. Conformance Relations and Hyperproperties for Doping Detection in Time and Space |
0 | -- | 0 | Christophe Lucas, Matteo Mio. Proof Theory of Riesz Spaces and Modal Riesz Spaces |
0 | -- | 0 | Guram Bezhanishvili, Luca Carai, Patrick J. Morandi. Duality for powerset coalgebras |
0 | -- | 0 | Dmitry Chistikov 0001, Stefan Kiefer, Andrzej S. Murawski, David Purser. The Big-O Problem |
0 | -- | 0 | Andrej Bauer, Anja Petkovic Komel. An extensible equality checking algorithm for dependent type theories |
0 | -- | 0 | Karoliina Lehtinen, Martin Zimmermann 0002. Good-for-games ω-Pushdown Automata |
0 | -- | 0 | Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen. On the Axiomatisability of Parallel Composition |
0 | -- | 0 | Patricia Bouyer, Stéphane Le Roux 0001, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove. Games Where You Can Play Optimally with Arena-Independent Finite Memory |
0 | -- | 0 | Étienne André, Didier Lime, Olivier H. Roux. Reachability and liveness in parametric timed automata |
0 | -- | 0 | Federico Olimpieri, Lionel Vaux Auclair. On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants |
0 | -- | 0 | Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek. BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs |
0 | -- | 0 | Benedikt Bollig, Alain Finkel, Amrita Suresh. Bounded Reachability Problems are Decidable in FIFO Machines |
0 | -- | 0 | Basil Fürer, Andreas Lochbihler, Joshua Schneider 0001, Dmitriy Traytel. Quotients of Bounded Natural Functors |
0 | -- | 0 | Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak. A Recursive Approach to Solving Parity Games in Quasipolynomial Time |
0 | -- | 0 | Antonin Delpeuch, Jamie Vicary. Normalization for planar string diagrams and a quadratic equivalence algorithm |
0 | -- | 0 | Jérémy Dubut, Akihisa Yamada 0002. Fixed Points Theorems for Non-Transitive Relations |
0 | -- | 0 | Ankush Das, Frank Pfenning. Rast: A Language for Resource-Aware Session Types |