- The residue of vector sets with applications to decidability problems in Petri nets Rüdiger Valk Matthias Jantzen Fri 02 March 2012
- A practical general method for constructing LR(k) parsers David Pager Fri 02 March 2012
- Monotone data flow analysis frameworks John B. Kam Jeffrey D. Ullman Fri 02 March 2012
- A calculus of refinements for program derivations R. J. R. Back Fri 02 March 2012
- Evidence against the context-freeness of natural language Stuart M. Shieber Fri 02 March 2012
- A stubborn attack on state explosion Antti Valmari Fri 02 March 2012
- Quantaloids, enriched categories and automata theory Kimmo I. Rosenthal Fri 02 March 2012
- Tractability through symmetries in propositional calculus Belaid Benhamou Lakhdar Sais Fri 02 March 2012
- The liberalized -rule in free variable semantic tableaux Reiner Hahnle Peter H. Schmitt Fri 02 March 2012
- On stochastic games with additive reward and transition structure T. E. S. Raghavan S. H. Tijs O. J. Vrieze Fri 02 March 2012
- Presburgerness of predicates regular in two number systems A. L. Semenov Fri 02 March 2012
- The occurrence problem for extensions of Abelian groups by nilpotent groups N. S. Romanovskii Fri 02 March 2012
- Q-learning Christopher J. C. H. Watkins Peter Dayan Fri 02 March 2012
- Lattice gas generalization of the hard hexagon model. III.q-Trinomial coefficients George E. Andrews R. J. Baxter Fri 02 March 2012
- Syntactic codes and grammar refinement Marcus Kracht Fri 02 March 2012
- Group languages A. V. Anisimov Fri 02 March 2012
- Range and degree of realizability of formulas in the restricted predicate calculus Yu. V. Glebskii D. I. Kogan M. I. Liogontextquotesinglekii V. A. Talanov Fri 02 March 2012
- The analytic continuation of generalized functions with respect to a parameter I. N. Bernshtein Fri 02 March 2012
- Bernsidetextquotesingles problem on periodic groups R. I. Grigorchuk Fri 02 March 2012
- Value of the Steinitz constant V. S. Grinberg S. V. Sevasttextquotesingleyanov Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
