1670 search results - page 31 / 334 » On Skolemization in constructive theories |
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we present a framework for constructing problem solving environments for assessing procedural knowledge, i.e. the student’s ability to apply his/her knowledge in o...
MPC
2004
Springer
14 years 1 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
TYPES
2000
Springer
13 years 12 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
SIAMNUM
2010
13 years 3 months ago
2010
We obtain exponentially accurate Fourier series for nonperiodic functions on the interval [-1, 1] by extending these functions to periodic functions on a larger domain. The series ...
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...