1071 search results - page 124 / 215 » The Calculus of Algebraic Constructions |
194
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
157
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
184
click to vote
PARA
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. ScaLAPACK is a library of high performance linear algebra routines for distributed memory MIMD computers. It is a continuation of the LAPACK project, which designed and p...
184
click to vote
LFCS
2009
Springer
16 years 18 days ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
164
click to vote
LFCS
2009
Springer
16 years 18 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...