1127 search results - page 84 / 226 » Theory Extension in ACL2(r) |
109
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
106
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
109
Voted
DLOG
2010
14 years 10 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
107
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
195
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...