2076 search results - page 30 / 416 » Functional logic overloading |
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
— In an incompletely specified function f, don’t care values can be chosen to minimize the number of variables to represent f. It is shown that, in incompletely specified fun...
ECAI
2006
Springer
13 years 10 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
ICLP
1990
Springer
14 years 21 days ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
CSL
2009
Springer
14 years 3 months ago
2009
Springer
