7943 search results - page 60 / 1589 » A calculus for costed computations |
90
Voted
SAC
2008
ACM
15 years 5 days ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
111
Voted
ENTCS
2008
15 years 23 days ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
78
Voted
WOLLIC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
120
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
114
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...