1071 search results - page 121 / 215 » The Calculus of Algebraic Constructions |
163
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
138
Voted
ISMVL
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
180
click to vote
NETWORKING
2000
15 years 7 months ago
2000
In this paper we present an algorithm to construct low-cost source trees for multicast with multiple QoS constraints and dynamic membership. Assuming the availability of link-state...
137
click to vote
JCST
2008
15 years 6 months ago
2008
In this paper, we present a proper reparametrization algorithm for rational ruled surfaces. That is, for an improper rational parametrization of a ruled surface, we construct a pro...
111
click to vote
JSC
2008
15 years 6 months ago
2008
In this paper we apply methods of commutative algebra to analysis of systems of PDEs. More precisely, we show that systems which are parabolic in a generalized sense are equivalen...