- Strong bisimilarity on basic parallel processes in PSPACE-complete Petr Jančar Fri 10 November 2023
- Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard Jiří Srba Fri 10 November 2023
- Bisimulation equivalence is decidable for basic parallel processes Søren Christensen Yoram Hirshfeld Faron Moller Fri 10 November 2023
- Mappings of Languages by Two-Tape Devices Seymour Ginsburg Edwin H. Spanier Thu 09 November 2023
- Analytic aspects of the shuffle product Marni Mishna Mike Zabrocki Thu 09 November 2023
- Polyregular functions on unordered trees of bounded height Mikołaj Bojańczyk Bartek Klin Wed 08 November 2023
- Ramsey Quantifiers in Linear Arithmetics Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche Wed 08 November 2023
- Parikh's Theorem Made Symbolic Matthew Hague Artur Jeż Anthony W. Lin Wed 08 November 2023
- Combinatorics of nondeterministic walks Élie de Panafieu Michael Wallner Tue 07 November 2023
- Fast coefficient computation for algebraic power series in positive characteristic Alin Bostan Xavier Caruso Gilles Christol Philippe Dumas Tue 07 November 2023
- The Decidability of Verification under PS 2.0 Parosh Aziz Abdulla Mohamed Faouzi Atig Adwait Godbole S. Krishna Viktor Vafeiadis Tue 07 November 2023
- Lecture Notes on Hyperexponential Solutions of Linear Homogeneous Ode's Ziming LI Tue 07 November 2023
- The HOM problem is decidable Guillem Godoy Omer Giménez Tue 07 November 2023
- The complexity of counting problems Dominic Welsh Amy Gale Tue 07 November 2023
- Deterministic Weighted Automata Under Partial Observability Jakub Michaliszyn Jan Otop Mon 06 November 2023
- Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos Mon 06 November 2023
- A new proof of Euclid's algorithm Andrzej Salwicki Mon 06 November 2023
- A symmetric attractor-decomposition lifting algorithm for parity games Marcin Jurdziński Rémi Morvan Pierre Ohlmann K.~S. Thejaswini Mon 06 November 2023
- A Survey on Analog Models of Computation Olivier Bournez Amaury Pouly Mon 06 November 2023
- Intensional Kleene and Rice Theorems for Abstract Program Semantics Paolo Baldan Francesco Ranzato Linpeng Zhang Mon 06 November 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
