222 search results - page 23 / 45 » E-Matching with Free Variables |
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
GCB
2005
Springer
14 years 1 months ago
2005
Springer
: In most studies concerning expression data analyses information on the variability of gene intensity across samples is usually exploited. This information is sensitive to initial...
IV
2003
IEEE
14 years 26 days ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
TPHOL
2003
IEEE
14 years 26 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...