University of London. Queen Mary. Department of Computer Science
17 published titles
Ribbon proofs : a proof system for the logic of bunched implications
(Contributor)
1 edition
- Queen Mary University of London, Department of Computer Science
- 2006
- Details
A type theory for to Reiter's regression
(Contributor)
1 edition
- Queen Mary, University of London, Dept. of Computer Science
- 2006
- Details
Causality, modality, and explanation
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Reasoning about action : a study in systems design
(Contributor)
1 edition
- Queen Mary, University of London, Dept. of Computer Science
- 2006
- Details
McCain-Turner theories : alternative causal laws
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Davidson's equations
(Contributor)
1 edition
- Queen Mary, University of London, Dept. of Computer Science
- 2006
- Details
Approaching real-time network traffic classification
(Contributor)
1 edition
- Queen Mary University of London. Dept. of Computer Science
- 2006
- Details
Information theoretical analysis of bounded and unbounded channels in programming languages
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Object localization by generative graph configuration
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Easy foot plant
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Iconic indexing for video search
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Deformable 3-D modelling from uncalibrated video sequences
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2006
- Details
Davidson on the equality of actions
(Contributor)
1 edition
- Queen Mary, University of London, Department of Computer Science
- 2007
- Details
Separation and data refinement
(Contributor)
1 edition
- Queen Mary University of London, Department of Computer Science
- Details
A general framework for representing and retrieving XML multimedia content
(Contributor)
1 edition
- Queen Mary University of London, Department of Computer Science
- Details
Testing the automation of real arithmetic in a theorem prover: PVS
(Contributor)
1 edition
- Queen Mary University of London, Department of Computer Science
- Details
Footprint analysis: a shape analysis that discovers preconditions
(Contributor)
1 edition
- Queen Mary University of London, Department of Computer Science
- Details
