CORR
2006
Springer
13 years 8 months ago
2006
Springer
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, w...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract--We establish that the feedback capacity of the trapdoor channel is the logarithm of the golden ratio and provide a simple communication scheme that achieves capacity. As ...