Author: Mehta
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.270, Iss.1, 2002-01, pp. : 609-623
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Tree-shellability of Boolean functions
By Takenaga Y. Nakajima K. Yajima S.
Theoretical Computer Science, Vol. 262, Iss. 1, 2001-07 ,pp. :
Decision lists and related Boolean functions
By Eiter T. Ibaraki T. Makino K.
Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. :
On the size of binary decision diagrams representing Boolean functions
By Breitbart Y. Hunt H. Rosenkrantz D.
Theoretical Computer Science, Vol. 145, Iss. 1, 1995-07 ,pp. :
Decision procedures for inductive Boolean functions based on alternating automata
By Ayari A. Basin D. Klaedtke F.
Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. :