- Aperiodic String Transducers Luc Dartois Ismaël Jecker Pierre-Alain Reynier Fri 02 March 2012
- MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS LUCA BREVEGLIERI ALESSANDRA CHERUBINI CLAUDIO CITRINI STEFANO CRESPI REGHIZZI Fri 02 March 2012
- Asymptotic Independence and Uniform Distribution of Quantization Errors for Spatially Discretized Dynamical Systems P. Diamond I. Vladimirov Fri 02 March 2012
- DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA KOSABURO HASHIGUCHI KENICHI ISHIGURO SHUJI JIMBO Fri 02 March 2012
- ON GROUPS AND COUNTER AUTOMATA MURRAY ELDER MARK KAMBITES GRETCHEN OSTHEIMER Fri 02 March 2012
- A new proof of the locality of R Howard Straubing Fri 02 March 2012
- The complexity of the equation solvability and equivalence problems over finite groups Attila Földvári Gábor Horváth Fri 02 March 2012
- CONSTANT-DEPTH PERIODIC CIRCUITS HOWARD STRAUBING Fri 02 March 2012
- A SYNTACTICAL PROOF OF LOCALITY OF DA JORGE ALMEIDA Fri 02 March 2012
- SYNCHRONIZATION AND CANCELATION IN WORKFLOWS BASED ON RESET NETS M. T. WYNN W. M. P. VAN DER AALST A. H. M. TER HOFSTEDE D. EDMOND Fri 02 March 2012
- ON THE PROOF COMPLEXITY OF THE NISAN-WIGDERSON GENERATOR BASED ON A HARD NPąpcoNP FUNCTION JAN KRAJÍČEK Fri 02 March 2012
- Connected choice and the Brouwer fixed point theorem Vasco Brattka Stéphane Le Roux Joseph S. Miller Arno Pauly Fri 02 March 2012
- Computable aspects of the BachmanntextendashHoward principle Anton Freund Fri 02 March 2012
- VON NEUMANN, VILLE, AND THE MINIMAX THEOREM HICHEM BEN-EL-MECHAIEKH ROBERT W. DIMAND Fri 02 March 2012
- Sharp estimates for triangular sets Xavier Dahan Éric Schost Fri 02 March 2012
- Dictionary matching and indexing with errors and dontextquotesinglet cares Richard Cole Lee-Ad Gottlieb Moshe Lewenstein Fri 02 March 2012
- The complexity of pure Nash equilibria Alex Fabrikant Christos Papadimitriou Kunal Talwar Fri 02 March 2012
- Test input generation with java PathFinder Willem Visser Corina S. Psreanu Sarfraz Khurshid Fri 02 March 2012
- Computation in networks of passively mobile finite-state sensors Dana Angluin James Aspnes Zoë Diamadi Michael J. Fischer René Peralta Fri 02 March 2012
- Types, potency, and idempotency Peter Møller Neergaard Harry G. Mairson Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
