- Cut-restriction: from cuts to analytic cuts Agata Ciabattoni Timo Lang Revantha Ramanayake Fri 28 April 2023
- A Higher-Order Indistinguishability Logic for Cryptographic Reasoning David Baelde Adrien Koutsos Joseph Lallemand Fri 28 April 2023
- The Probabilistic Rabin Tree Theorem Damian Niwiński Paweł Parys Michał Skrzypczak Fri 28 April 2023
- Pseudorandom Finite Models Jan Dreier Jamie Tucker-Foltz Fri 28 April 2023
- Cartesian Coherent Differential Categories Thomas Ehrhard Aymeric Walch Fri 28 April 2023
- The Logic of Prefixes and Suffixes is Elementary under Homogeneity Dario Della Monica Angelo Montanari Gabriele Puppis Pietro Sala Fri 28 April 2023
- Formalizing pi4(mathbbS^3) cong mathbbZ/2mathbbZ and Computing a Brunerie Number in Cubical Agda Axel Ljungstrøm Anders Mørtberg Fri 28 April 2023
- Intuitionistic S4 is decidable Marianna Girlando Roman Kuznets Sonia Marin Marianela Morales Lutz Straßburger Fri 28 April 2023
- Minimization of Dynamical Systems over Monoids Georgios Argyris Alberto Lluch Lafuente Alexander Leguizamon Robayo Mirco Tribastone Max Tschaikowski Andrea Vandin Fri 28 April 2023
- Evidential Decision Theory via Partial Markov Categories Elena Di Lavore Mario Román Fri 28 April 2023
- The Iteration Number of the Weisfeiler-Leman Algorithm Martin Grohe Moritz Lichter Daniel Neuen Fri 28 April 2023
- A Complete Equational Theory for Quantum Circuits Alexandre Clément Nicolas Heurtel Shane Mansfield Simon Perdrix Benoît Valiron Fri 28 April 2023
- Complete Graphical Language for Hermiticity-Preserving Superoperators Titouan Carette Timothée Hoffreumon Émile Larroque Renaud Vilmart Fri 28 April 2023
- Computing the linear hull: Deciding Sequential and Unambiguous for weighted automata over fields Jason P. Bell Daniel Smertnig Fri 28 April 2023
- Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke Fri 28 April 2023
- Extensional and Non-extensional Functions as Processes Ken Sakayori Davide Sangiorgi Fri 28 April 2023
- Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations Yoshiki Nakamura Fri 28 April 2023
- From Thin Concurrent Games to Generalized Species of Structures Pierre Clairambault Federico Olimpieri Hugo Paquet Fri 28 April 2023
- The Cartesian Closed Bicategory of Thin Spans of Groupoids Pierre Clairambault Simon Forest Fri 28 April 2023
- Taylor Expansion as a Monad in Models of DiLL Marie Kerjean Jean-Simon Pacaud Lemay Fri 28 April 2023
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
