- Parsing schemata and correctness of parsing algorithms Klaas Sikkel Fri 02 March 2012
- An example of an indexed language of intermediate growth R.I. Grigorchuk A. Machí Fri 02 March 2012
- Uniform random generation of decomposable structures using floating-point arithmetic Alain Denise Paul Zimmermann Fri 02 March 2012
- Families of locally testable languages Pascal Caron Fri 02 March 2012
- LOGSPACE and PTIME characterized by programming languages Neil D. Jones Fri 02 March 2012
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus J. Maraist M. Odersky D.N. Turner P. Wadler Fri 02 March 2012
- Syntactic control of interference revisited P.W. O'Hearn A.J. Power M. Takeyama R.D. Tennent Fri 02 March 2012
- Discrete-time control for rectangular hybrid automata Thomas A. Henzinger Peter W. Kopke Fri 02 March 2012
- Reversible, irreversible and optimal łambda-machines Vincent Danos Laurent Regnier Fri 02 March 2012
- Coherence completions of categories Hongde Hu Andre Joyal Fri 02 March 2012
- Intractability of decision problems for finite-memory automata Hiroshi Sakamoto Daisuke Ikeda Fri 02 March 2012
- Subtractive logic Tristan Crolard Fri 02 March 2012
- Testing timed automata Jan Springintveld Frits Vaandrager Pedro R. DtextquotesingleArgenio Fri 02 March 2012
- Cut-elimination for a logic with definitions and induction Raymond McDowell Dale Miller Fri 02 March 2012
- Programs over semigroups of dot-depth one Alexis Maciel Pierre Péladeau Denis Thérien Fri 02 March 2012
- Regular expression simplification Alejandro A.R. Trejo Ortiz Guillermo Fernández Anaya Fri 02 March 2012
- Algorithms for computing sparsest shifts of polynomials in power, Chebyshev, and Pochhammer bases Mark Giesbrecht Erich Kaltofen Wen-shin Lee Fri 02 March 2012
- Early termination in sparse interpolation algorithms Erich Kaltofen Wen-shin Lee Fri 02 March 2012
- Complexity results for triangular sets Éric Schost Fri 02 March 2012
- Synthesis of ML programs in the system Coq Christine Paulin-Mohring Benjamin Werner Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
