<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-03-28 16:10:10Timothy Griffin United States Department of Justice Politics of the United States Opposition research Alberto Gonzales Kyle Sampson Griffin Goodling McNulty Dismissal of United States Attorneys controversy Presidency of George W. Bush Bud Cummins |
| Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin Computer Laboratory University of Cambridge, UKDocID: 1rHpE - View Document |
| A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TXDocID: 1qSJY - View Document |
| Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UKDocID: 1prK7 - View Document |
| Interdomain Routing Streams Timothy G. Griffin∗ Zhuoqing Morley Mao† AbstractDocID: 1ovh5 - View Document |
| Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UKDocID: 1gINf - View Document |