- The Complexity of Diagonalization Nikhil Srivastava Wed 24 May 2023
- Principal-Agent Boolean Games David Hyland Julian Gutierrez Michael Wooldridge Wed 24 May 2023
- Singly Exponential Translation of Alternating Weak Buchi Automata to Unambiguous Buchi Automata Yong Li Sven Schewe Moshe Y. Vardi Wed 24 May 2023
- The Noncommutative Edmonds' Problem Re-visited Abhranil Chatterjee Partha Mukhopadhyay Wed 24 May 2023
- Fermat's Last Theorem for regular primes Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi Wed 24 May 2023
- Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives Damien Busatto-Gaston Debraj Chakraborty Anirban Majumdar Sayan Mukherjee Guillermo A. Pérez Jean-François Raskin Wed 24 May 2023
- Testing Isomorphism of Graphs in Polynomial Time Rui Xue Wed 24 May 2023
- Simply typed convertibility is TOWER-complete even for safe lambda-terms Lê Thành Dũng Nguy~ên Wed 24 May 2023
- Separating Automatic Relations Pablo Barceló Diego Figueira Rémi Morvan Tue 16 May 2023
- An Introduction to String Diagrams for Computer Scientists Robin Piedeleu Fabio Zanasi Tue 16 May 2023
- On the of Limits of Decision: the Adjacent Fragment of First-Order Logic Bartosz Bednarczyk Daumantas Kojelis Ian Pratt-Hartmann Mon 15 May 2023
- DNN Verification, Reachability, and the Exponential Function Problem Omri Isac Yoni Zohar Clark Barrett Guy Katz Sat 13 May 2023
- Logic for Explainable AI Adnan Darwiche Fri 12 May 2023
- Differentiable Inductive Logic Programming in High-Dimensional Space Stanisław J. Purgał David M. Cerna Cezary Kaliszyk Thu 11 May 2023
- Weighted HOM-Problem for Nonnegative Integers Andreas Maletti Andreea-Teodora Nász Erik Paul Tue 09 May 2023
- Skolem and Positivity Completeness of Ergodic Markov Chains Mihir Vahanwala Tue 09 May 2023
- Robust Positivity Problems for low-order Linear Recurrence Sequences Mihir Vahanwala Tue 09 May 2023
- From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism Antonio Casares Thomas Colcombet Nathanael Fijalkow Karoliina Lehtinen Tue 09 May 2023
- Idris TyRE: a dependently typed regex parser Ohad Kammar Katarzyna Marek Tue 09 May 2023
- A First Look at Differential Algebra John H. Hubbard Benjamin E. Lundell Mon 08 May 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
