![]() | 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 |