1670 search results - page 10 / 334 » On Skolemization in constructive theories |
MOC
1998
13 years 6 months ago
1998
The groundwork for a theory of quadratic identities involving the classical triple and quintuple products is layed. The approach is through the study and use of affine maps that ac...
GBRPR
2009
Springer
13 years 4 months ago
2009
Springer
In this paper, we present a novel graph construction method and demonstrate its usage in a broad range of applications starting from a relatively simple single-surface segmentation...
JSYML
2008
13 years 6 months ago
2008
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
HASKELL
2005
ACM
14 years 8 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
FSTTCS
2009
Springer
14 years 1 months ago
2009
Springer
The rigidity of a matrix A for target rank r is the minimum number of entries of A that