1071 search results - page 90 / 215 » The Calculus of Algebraic Constructions |
160
Voted
JSC
2007
15 years 6 months ago
2007
A well-known result due to J. T. Stafford asserts that a stably free left module M over the Weyl algebras D = An(k) or Bn(k) − where k is a field of characteristic 0 − with ...
171
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
128
click to vote
RSA
2008
15 years 5 months ago
2008
In this paper we consider some families of random Cantor sets on the line and investigate the question whether the condition that the sum of Hausdorff dimension is larger than one ...
164
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
158
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...