Menu

G. White

7 published titles

GOLOG and linear logic programming

1 edition

  • Dept. of Computer Science, Queen Mary and Westfield College
  • 1998
  • Details

A type theory for to Reiter's regression

1 edition

  • Queen Mary, University of London, Dept. of Computer Science
  • 2006
  • Details

Causality, modality, and explanation

1 edition

  • Queen Mary, University of London, Department of Computer Science
  • 2006
  • Details

Reasoning about action : a study in systems design

1 edition

  • Queen Mary, University of London, Dept. of Computer Science
  • 2006
  • Details

McCain-Turner theories : alternative causal laws

1 edition

  • Queen Mary, University of London, Department of Computer Science
  • 2006
  • Details

Davidson's equations

1 edition

  • Queen Mary, University of London, Dept. of Computer Science
  • 2006
  • Details

Davidson on the equality of actions

1 edition

  • Queen Mary, University of London, Department of Computer Science
  • 2007
  • Details

obnb.uk is a Good Stuff website.