- A method for overlapping and erasure of lists George E. Collins Fri 02 March 2012
- Letters to the editor J. Harold McBeth Fri 02 March 2012
- On ambiguity in phrase structure languages Robert W. Floyd Fri 02 March 2012
- Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic Randal E. Bryant Steven German Miroslav N. Velev Fri 02 March 2012
- MSO definable string transductions and two-way finite-state transducers Joost Engelfriet Hendrik Jan Hoogeboom Fri 02 March 2012
- The size-change principle for program termination Chin Soon Lee Neil D. Jones Amir M. Ben-Amram Fri 02 March 2012
- Short proofs are narrow-resolution made simple Eli Ben-Sasson Avi Wigderson Fri 02 March 2012
- Randomness efficient identity testing of multivariate polynomials Adam R. Klivans Daniel Spielman Fri 02 March 2012
- The complexity of acyclic conjunctive queries Georg Gottlob Nicola Leone Francesco Scarcello Fri 02 March 2012
- The complexity of propositional linear temporal logics A. P. Sistla E. M. Clarke Fri 02 March 2012
- A graphical query language supporting recursion Isabel F. Cruz Alberto O. Mendelzon Peter T. Wood Fri 02 March 2012
- LUSTRE: a declarative language for real-time programming P. Caspi D. Pilaud N. Halbwachs J. A. Plaice Fri 02 March 2012
- Concurrent transition system semantics of process networks E. W. Stark Fri 02 March 2012
- Church-Rosser Thue systems and formal languages Robert McNaughton Paliath Narendran Friedrich Otto Fri 02 March 2012
- Many hard examples for resolution Vašek Chvátal Endre Szemerédi Fri 02 March 2012
- Interface automata Luca de Alfaro Thomas A. Henzinger Fri 02 March 2012
- Predicate abstraction for software verification Cormac Flanagan Shaz Qadeer Fri 02 March 2012
- Featherweight Java Atsushi Igarashi Benjamin C. Pierce Philip Wadler Fri 02 March 2012
- Intuitionistic Light Affine Logic Andrea Asperti Luca Roversi Fri 02 March 2012
- An indexed model of recursive types for foundational proof-carrying code Andrew W. Appel David McAllester Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
