10715 search results - page 22 / 2143 » From Tests to Proofs |
MLQ
2006
13 years 7 months ago
2006
ENTCS
2002
13 years 7 months ago
2002
MLQ
1998
13 years 7 months ago
1998
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
ENTCS
2010
13 years 8 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
SYNASC
2007
IEEE
14 years 2 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...