- Automata theory for XML researchers Frank Neven Fri 02 March 2012
- A generic approach to the static analysis of concurrent programs with procedures Ahmed Bouajjani Javier Esparza Tayssir Touili Fri 02 March 2012
- A type system for higher-order modules Derek Dreyer Karl Crary Robert Harper Fri 02 March 2012
- On the communication complexity of graph properties András Hajnal Wolfgang Maass György Turán Fri 02 March 2012
- A deterministic algorithm for sparse multivariate polynomial interpolation Michael Ben-Or Fri 02 March 2012
- Comments on capabilities, limitations and textquotedblleftcorrectnesstextquotedblright of Petri nets Tilak Agerwala Mike Flynn Fri 02 March 2012
- Computer assisted manipulation of algebraic process specifications Jan Friso Groote Bert Lisser Fri 02 March 2012
- Efficient Computation of LALR(1) Look-Ahead Sets Frank DeRemer Thomas Pennello Fri 02 March 2012
- On ømega-automata and temporal logic S. Safra M. Y. Vardi Fri 02 March 2012
- Quantifier elimination in the theory of an algebraically-closed field D. Ierardi Fri 02 March 2012
- P-Queries: enabling querying for semantic associations on the semantic web Kemafor Anyanwu Amit Sheth Fri 02 March 2012
- A type and effect system for atomicity Cormac Flanagan Shaz Qadeer Fri 02 March 2012
- Skip lists: a probabilistic alternative to balanced trees William Pugh Fri 02 March 2012
- A new approach to program testing James C. King Fri 02 March 2012
- SELECT---a formal system for testing and debugging programs by symbolic execution Robert S. Boyer Bernard Elspas Karl N. Levitt Fri 02 March 2012
- A theory of the learnable L. G. Valiant Fri 02 March 2012
- Automata theoretic techniques for modal logics of programs Moshe Y. Vardi Pierre Wolper Fri 02 March 2012
- Borel sets and circuit complexity Michael Sipser Fri 02 March 2012
- Lower bounds for algebraic computation trees Michael Ben-Or Fri 02 March 2012
- Normal forms for trivalent graphs and graphs of bounded valence Martin Fürer Walter Schnyder Ernst Specker Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
