Sciweavers

1008 search results - page 36 / 202
» Canonicity!
Sort
View
102
Voted
SIGMOD
2004
ACM
110views Database» more  SIGMOD 2004»
15 years 8 months ago
Canonical Abstraction for Outerjoin Optimization
Jun Rao, Hamid Pirahesh, Calisto Zuzarte
ICTAC
2004
Springer
15 years 8 months ago
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...
54
Voted
DATE
2002
IEEE
65views Hardware» more  DATE 2002»
15 years 7 months ago
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification
Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng,...
ISMVL
2002
IEEE
90views Hardware» more  ISMVL 2002»
15 years 7 months ago
A Conjunctive Canonical Expansion of Multiple-Valued Functions
A generalization of McMillan’s conjunctive expansion of Boolean functions [1] to the case of multiple-valued input binary-valued output functions is presented. It is based on th...
Elena Dubrova, Petra Färm