- Context-Free Grammars and Random Number Generation Andrew C. Yao Tue 16 October 2018
- The complexity of computing the number of strings of given length in context-free languages Alberto Bertoni Massimiliano Goldwurm Nicoletta Sabadini Tue 16 October 2018
- An Effective Version of Kronecker's Theorem on Simultaneous Diophantine Approximation Gregorio Malajovich Mon 15 October 2018
- On the Complexity of Numerical Analysis Eric Allender Peter Burgisser Johan Kjeldgaard-Pedersen Peter Bro Miltersen Mon 15 October 2018
- Recursion Schemes, the MSO Logic, and the U quantifier P. Parys Sun 14 October 2018
- Logics for Word Transductions with Synthesis Luc Dartois Emmanuel Filiot Nathan Lhote Fri 12 October 2018
- Stamina: Stabilisation Monoids in Automata Theory Nathanael Fijalkow Hugo Gimbert Edon Kelmendi Denis Kuperberg Thu 11 October 2018
- A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars Javier Esparza Andreas Gaiser Stefan Kiefer Thu 11 October 2018
- On Least Fixed Points of Systems of Positive Polynomials Javier Esparza Andreas Gaiser Stefan Kiefer Thu 11 October 2018
- Computing Least Fixed Points of Probabilistic Systems of Polynomials Javier Esparza Andreas Gaiser Stefan Kiefer Thu 11 October 2018
- On the complexity of the linear-time mu-calculus for Petri Nets Peter Habermehl Thu 11 October 2018
- The Parikh Property for Weighted Context-Free Grammars P. Ganty E. Gutiérrez Wed 10 October 2018
- The ``Hilbert Method'' for Solving Transducer Equivalence Problems A. Boiret R. Piórkowski J. Schmude Wed 10 October 2018
- How Deterministic are Good-For-Games Automatal Udi Boker Orna Kupferman Michal Skrzypczak Wed 10 October 2018
- Separating Strings with Small Automata J. M. Robson Wed 10 October 2018
- Remarks on Separating Words Erik D. Demaine Sarah Eisenstat Jeffrey Shallit David A. Wilson Wed 10 October 2018
- On Discerning Words by Automata P Goralcik V Koubek Wed 10 October 2018
- Derivation tree analysis for accelerated fixed-point computation Javier Esparza Stefan Kiefer Michael Luttenberger Wed 10 October 2018
- Solving Fixed-Point Equations by Derivation Tree Analysis Javier Esparza Michael Luttenberger Wed 10 October 2018
- Logics Meet 1-Clock Alternating Timed Automata Shankara Narayanan Krishna Khushraj Madnani Paritosh K. Pandya Wed 10 October 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
