Browsing Department of Computer Science Research Reports: 2000 - 2008 by Title
Now showing items 37-56 of 56
-
Proceedings of the 20th BCS HCI Group conference Volume Two
(2013-12-30) -
Programming with Bunched Implications
(2013-12-10)We give an operational semantics for the logic programming language BLP, based on the hereditary Harrop fragment of the logic of bunched implications, BI. We introduce BI, explaining the account of the sharing of resources ... -
Quantified Interference for a While Language
(2013-12-30) -
Reasoning about Action: A Study in Systems Design
(2013-12-30) -
Reasoning about Action: Ray Reiter meets Fibred Categories
(2013-12-30) -
Relative Definability of Boolean Functions via Hypergraphs
(2013-12-30) -
Some notes on equalities not present in the λµ-calculus
(2013-12-30) -
Temoral Difference Learning in Complex Domains
(2013-12-30) -
A Type Theory for to Reiter's Regression
(2013-12-30)