<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-03-23 21:20:42Timothy Griffin United States Attorney Kyle Sampson United States federal executive departments BlackBerry Goodling Dismissal of U.S. attorneys controversy timeline Dismissal of U.S. attorneys controversy Dismissal of United States Attorneys controversy United States Department of Justice Law |
| 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 |