110 search results - page 3 / 22 » Interpolation in Local Theory Extensions |
DAGSTUHL
2006
15 years 1 months ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
92
Voted
COMPGEOM
2006
ACM
15 years 6 months ago
2006
ACM
Abstract We introduce a parameterized notion of feature size that interpolates between the minimum of the local feature size and the recently introduced weak feature size. Based on...
117
Voted
DAGSTUHL
1997
15 years 1 months ago
1997
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...
LOGCOM
2008
15 years 6 days ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...