- Intersection and union of regular languages and state complexity Jean-Camille Birget Fri 02 March 2012
- A unified approach for showing language inclusion and equivalence between various types of ømega-automata E.M. Clarke I.A. Draghicescu R.P. Kurshan Fri 02 March 2012
- A probabilistic algorithm for verifying matrix products using O(n^2) time and łog 2n + O(1) random bits Tracy Kimbrel Rakesh Kumar Sinha Fri 02 March 2012
- An optimal algorithm to compute all the covers of a string Dennis Moore W.F. Smyth Fri 02 March 2012
- A term equality problem equivalent to graph isomorphism David A. Basin Fri 02 March 2012
- WORM-2DPDAs: An extension to 2DPDAs that can be simulated in linear time Torben Æ. Mogensen Fri 02 March 2012
- Approximately matching context-free languages Gene Myers Fri 02 March 2012
- A note on a theorem of Barrington, Straubing and Thérien Hervé Caussinus Fri 02 March 2012
- A lower bound technique for the size of nondeterministic finite automata Ian Glaister Jeffrey Shallit Fri 02 March 2012
- Fast and simple nested fixpoints Helmut Seidl Fri 02 March 2012
- On MacLane's conditions for coherence of natural associativities, commutativities, etc. G.M Kelly Fri 02 March 2012
- La finitude des représentations linéaires des semi-groupes est décidable Gérard Jacob Fri 02 March 2012
- Graph groups, coherence, and three-manifolds Carl Droms Fri 02 March 2012
- The dot-depth hierarchy of star-free languages is infinite J.A. Brzozowski R. Knast Fri 02 March 2012
- A class of algorithms which require nonlinear time to maintain disjoint sets Robert Endre Tarjan Fri 02 March 2012
- Propositional dynamic logic of regular programs Michael J. Fischer Richard E. Ladner Fri 02 March 2012
- Finding patterns common to a set of strings Dana Angluin Fri 02 March 2012
- Semantics of probabilistic programs Dexter Kozen Fri 02 March 2012
- On uniform circuit complexity Walter L. Ruzzo Fri 02 March 2012
- Groups, the Theory of ends, and context-free languages David E. Muller Paul E. Schupp Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
