- On the Structure of Polynomial Time Reducibility Richard E. Ladner Fri 02 March 2012
- Efficiency of a Good But Not Linear Set Union Algorithm Robert Endre Tarjan Fri 02 March 2012
- Computational Complexity of Proper Equilibrium Kristoffer Arnsfelt Hansen Troels Bjerre Lund Fri 02 March 2012
- Transforming LR(k) Grammars to LR(1), SLR(1), and (1,1) Bounded Right-Context Grammars M. D. Mickunas R. L. Lancaster V. B. Schneider Fri 02 March 2012
- Word Problems Solvable in Logspace Richard J. Lipton Yechezkel Zalcstein Fri 02 March 2012
- k+1 Heads Are Better than k Andrew C. Yao Ronald L. Rivest Fri 02 March 2012
- Fast Decision Procedures Based on Congruence Closure Greg Nelson Derek C. Oppen Fri 02 March 2012
- Reasoning About Recursively Defined Data Structures Derek C. Oppen Fri 02 March 2012
- A Unified Approach to Path Problems Robert Endre Tarjan Fri 02 March 2012
- On the complexity of integer programming Christos H. Papadimitriou Fri 02 March 2012
- Some Exact Complexity Results for Straight-Line Computations over Semirings Mark Jerrum Marc Snir Fri 02 March 2012
- Interaction Graphs Thomas Seiller Fri 02 March 2012
- Circuit Complexity, Proof Complexity, and Polynomial Identity Testing Joshua A. Grochow Toniann Pitassi Fri 02 March 2012
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic Robbert Krebbers Jacques-Henri Jourdan Ralf Jung Joseph Tassarotti Jan-Oliver Kaiser Amin Timany Arthur Charguéraud Derek Dreyer Fri 02 March 2012
- Mtac2: typed tactics for backward reasoning in Coq Jan-Oliver Kaiser Beta Ziliani Robbert Krebbers Yann Régis-Gianas Derek Dreyer Fri 02 March 2012
- Generic zero-cost reuse for dependent types Larry Diehl Denis Firsov Aaron Stump Fri 02 March 2012
- On Intersection Types and Probabilistic Lambda Calculi Flavien Breuvart Ugo Dal Lago Fri 02 March 2012
- PaMpeR: proof method recommendation system for Isabelle/HOL Yutaka Nagashima Yilun He Fri 02 March 2012
- First-order logic and aperiodic languages Howard Straubing Fri 02 March 2012
- Biased reference counting Jiho Choi Thomas Shull Josep Torrellas Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
