- A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus Benedikt Meurer Wed 11 December 2013
- The mathematics of the Pentium division bug Alan Edelman Wed 11 December 2013
- How Number Theory Got the Best of the Pentium Chip Barry Cipra Wed 11 December 2013
- The truth behind the Pentium bug T. R. Halfhill Wed 11 December 2013
- Inside the Pentium FDIV Bug T. Coe Wed 11 December 2013
- Intel fixes A Pentium FPU glitch Alexander Wolfe Wed 11 December 2013
- Enumeration to 10^14 of the twin primes and Brun's constant Thomas R. Nicely Wed 11 December 2013
- A bug and a crash - sometimes a bug is more than a nuisance J. Gleick Wed 11 December 2013
- A comedy of errors: the London Ambulance Service case study A. Finkelstein J. Dowell Wed 11 December 2013
- An Investigation of the Therac-25 Accidents Nancy G. Leveson Clark S. Turner Wed 11 December 2013
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-typed łambda-calculus Pierre Bourreau Sylvain Salvati Wed 11 December 2013
- Logics for context-free languages Clemens Lautemann Thomas Schwentick Denis Thérien Wed 11 December 2013
- Equivalence Problems in a Model of Computation Michael Stewart Paterson Wed 11 December 2013
- The Equivalence Problem for Computational Models: Decidable and Undecidable Cases VladimirA. Zakharov Wed 11 December 2013
- Fixpoint induction and proofs of program properties David Park Wed 11 December 2013
- A BDD-Based Model Checker for Recursive Programs Javier Esparza Stefan Schwoon Wed 11 December 2013
- Handbook of Theoretical Computer Science (Vol. B) Bruno Courcelle Wed 11 December 2013
- On the interpretation of recursive program schemes Maurice Nivat Wed 11 December 2013
- An impossible program C. Strachey Wed 11 December 2013
- TERMINATOR: Beyond Safety Byron Cook Andreas Podelski Andrey Rybalchenko Wed 11 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 13:36:26,
Build Time: N/A
