- Tests for the LR-, LL-, and LC-regular conditions Stephan Heilbrunner Fri 02 March 2012
- A complete inference system for a class of regular behaviours Robin Milner Fri 02 March 2012
- Space-bounded hierarchies and probabilistic computations Walter L. Ruzzo Janos Simon Martin Tompa Fri 02 March 2012
- Probabilistic encryption Shafi Goldwasser Silvio Micali Fri 02 March 2012
- A probabilistic PDL Dexter Kozen Fri 02 March 2012
- The complexity of elementary algebra and geometry Michael Ben-Or Dexter Kozen John Reif Fri 02 March 2012
- Domino-tiling games Bogdan S. Chlebus Fri 02 March 2012
- First-order logic and star-free sets Dominique Perrin Jean-Eric Pin Fri 02 March 2012
- Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes László Babai Shlomo Moran Fri 02 March 2012
- How easy is local search David S. Johnson Christos H. Papadimitriou Mihalis Yannakakis Fri 02 March 2012
- The strong exponential hierarchy collapses Lane A. Hemachandra Fri 02 March 2012
- On isomorphism testing of a class of 2-Nilpotent groups Max Garzon Yechezkel Zalcstein Fri 02 March 2012
- Properties that characterize LOGCFL H. Venkateswaran Fri 02 March 2012
- Stability of spatially homogeneous periodic solutions of reaction-diffusion equations Kenjiro Maginu Fri 02 March 2012
- Viscosity solutions of Isaacstextquotesingle equations and differential games with Lipschitz controls E.N Barron L.C Evans R Jensen Fri 02 March 2012
- Approximation schemes for viscosity solutions of Hamilton-Jacobi equations Panagiotis E Souganidis Fri 02 March 2012
- Coalition-Proof Nash Equilibria II. Applications B.Douglas Bernheim Michael D Whinston Fri 02 March 2012
- On the Ostrowski-Schneider inertia theorem H.K Wimmer Fri 02 March 2012
- Dividing a cake fairly D.R Woodall Fri 02 March 2012
- Algebraic power series and diagonals Jan Denef Leonard Lipshitz Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
