- Regular matching problems for infinite trees Carlos Camino Volker Diekert Besik Dundua Mircea Marin Géraud Sénizergues Wed 13 May 2020
- Synchronizing Deterministic Push-Down Automata Can Be Really Hard Henning Fernau Petra Wolf Tomoyuki Yamakami Wed 13 May 2020
- Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra Paul Brunet David Pym Wed 13 May 2020
- Regular resynchronizability of origin transducers is undecidable Denis Kuperberg Jan Martens Wed 13 May 2020
- Compositionality of the MSO+U Logic Paweł Parys Wed 13 May 2020
- What You Must Remember When Transforming Datawords M. Praveen Wed 13 May 2020
- Games Where You Can Play Optimally with Arena-Independent Finite Memory Patricia Bouyer Stéphane Le Roux Youssouf Oualhadj Mickael Randour Pierre Vandenhove Wed 13 May 2020
- Parametrized Universality Problems for One-Counter Nets Shaull Almagor Udi Boker Piotr Hofman Patrick Totzke Wed 13 May 2020
- Insignificant Choice Polynomial Time Klaus-Dieter Schewe Wed 13 May 2020
- A Domain Semantics for Higher-Order Recursive Processes Ryan Kavanagh Wed 13 May 2020
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics Nicolas Behr Jean Krivine Wed 13 May 2020
- Dynamic IFC Theorems for Free Maximilian Algehed Jean-Philippe Bernardy Catalin Hritcu Wed 13 May 2020
- Reaching Your Goal Optimally by Playing at Random Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Wed 13 May 2020
- On the probabilistic bisimulation spectrum with silent moves Christel Baier Pedro R. D'Argenio Holger Hermanns Tue 12 May 2020
- Relating Reachability Problems in Timed and Counter Automata Christoph Haase Joel Ouaknine James Worrell Tue 12 May 2020
- Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars Vijay Bhattiprolu Spencer Gordon Mahesh Viswanathan Tue 12 May 2020
- Recursive sequences and polynomial congruences J. Lehman Christopher Triola Tue 12 May 2020
- Prime and prime power divisibility of Catalan numbers Ronald Alter K.K Kubota Tue 12 May 2020
- On the Non-Holonomic Character of Logarithms, Powers, and the nth Prime Function Philippe Flajolet Stefan Gerhold Bruno Salvy Tue 12 May 2020
- On Some Non-Holonomic Sequences Stefan Gerhold Tue 12 May 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
