3552 search results - page 127 / 711 » Proof theory in the abstract |
277
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
133
click to vote
IRES
2002
15 years 6 months ago
2002
dational grid of abstract, measurable space behind it. Lived place and measured space ordinarily are two sides to the one phenomenon; what makes the
129
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
132
click to vote
JSYML
2008
15 years 6 months ago
2008
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
154
click to vote
IJCAI
1989
15 years 7 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...