1564 search results - page 31 / 313 » Extensions to the Estimation Calculus |
BSL
1999
14 years 11 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
114
click to vote
LOGCOM
2010
14 years 10 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
86
Voted
ICASSP
2010
IEEE
14 years 12 months ago
2010
IEEE
This contribution presents a wideband (50 Hz – 7 kHz) speech enhancement system that is operating in the frequency domain. As a novel feature, techniques known from artificial ...
183
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
104
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...