Browsing Department of Computer Science Research Reports: 2000 - 2008 by Author "White, Graham"
Now showing items 1-8 of 8
-
Causality, Modality and Explanation
White, Graham (2013-12-30) -
Davidson's Equations
White, Graham (2013-12-30) -
Mathematics for Networks
Kanovich, Max; Olivo, Paulo; White, Graham (2013-12-30) -
McCain-Turner Theories: Alternative Causal Laws
White, Graham (2013-12-30) -
Reasoning about Action: A Study in Systems Design
White, Graham (2013-12-30) -
Reasoning about Action: Ray Reiter meets Fibred Categories
White, Graham (2013-12-30) -
A Type Theory for to Reiter's Regression
White, Graham (2013-12-30) -
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)
Kanovich, Max; White, Graham; Gottliebsen, Hanne; Oliva, Paulo (2013-12-30)