70 search results - page 1 / 14 » (U, N)-Implications and Their Characterizations |
EUSFLAT
2007
13 years 6 months ago
2007
In this work we characterize (U, N)-implications obtained from disjunctive uninorms and continuous negations.
ICS
2004
Tsinghua U.
13 years 10 months ago
2004
Tsinghua U.
WICSA
2008
13 years 6 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
BMCBI
2006
13 years 4 months ago
2006
Background: REX1 and REX2 are protein components of the RNA editing complex (the editosome) and function as exouridylylases. The exact roles of REX1 and REX2 in the editosome are ...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...