1864 search results - page 259 / 373 » Formal topology and domains |
ENTCS
2008
13 years 9 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
CAGD
2006
13 years 9 months ago
2006
Abstract. Volino and Thalmann have published a conjecture proposing sufficient conditions for non-selfintersection of surfaces. Such conditions may be used in solid modeling, compu...
IJKL
2008
13 years 9 months ago
2008
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
IJON
2008
13 years 9 months ago
2008
Presence-absence (0-1) observations are special in that often the absence of evidence is not evidence of absence. Here we develop an independent factor model, which has the unique...
IANDC
2006
13 years 9 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...