- New problems complete for nondeterministic log space Neil D. Jones Y. Edmund Lien William T. Laaser Fri 02 March 2012
- Generalized finite automata theory with an application to a decision problem of second-order logic J. W. Thatcher J. B. Wright Fri 02 March 2012
- A unified approach to the definition of random sequences C. P. Schnorr Fri 02 March 2012
- On realization of nonlinear systems described by higher-order differential equations A. J. Schaft Fri 02 March 2012
- Uniform tag sequences Alan Cobham Fri 02 March 2012
- Parity, circuits, and the polynomial-time hierarchy Merrick Furst James B. Saxe Michael Sipser Fri 02 March 2012
- Retiming synchronous circuitry Charles E. Leiserson James B. Saxe Fri 02 March 2012
- Reexamination of the perfectness concept for equilibrium points in extensive games R. Selten Fri 02 March 2012
- Equilibrium in a discrete exchange economy with money D. Gale Fri 02 March 2012
- On multiplication and factorization of polynomials, II. Irreducibility discussion A. M. Ostrowski Fri 02 March 2012
- Term rewriting and beyond - theorem proving in Isabelle Tobias Nipkow Fri 02 March 2012
- Subgroups of semifree groups A. Baudisch Fri 02 March 2012
- The size of LALR (1) parsers Paul Purdom Fri 02 March 2012
- Towers of Hanoi problems: Deriving iterative solutions by program transformations Alberto Pettorossi Fri 02 March 2012
- Covering a string C. S. Iliopoulos D. W. G. Moore K. Park Fri 02 March 2012
- Hierarchies of number-theoretic functions. I M. H. Löb S. S. Wainer Fri 02 March 2012
- A classification of the ordinal recursive functions S. S. Wainer Fri 02 March 2012
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen Kurt Schütte Stephen G. Simpson Fri 02 March 2012
- Representations for real numbers and their ergodic properties A. Rényi Fri 02 March 2012
- Bounds on the index and period of a binary relation on a finite set George Markowsky Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 12, 2026, 21:07:21,
Build Time: N/A
