Deciding Boolean Algebra with Presburger Arithmetic

By Kuncak Viktor   Nguyen Huu   Rinard Martin  

Journal of Automated Reasoning, Vol. 36, Iss. 3, 2006-04 ,pp. : 213-239

Springer Publishing Company

Access to resources Recommend Favorite

Boolean Algebra from the Lattice Point of View

By Lee Edward T  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 23, Iss. 3, 1994-03 ,pp. : 59-64

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

To the problem of expressibility in the algebra of partial Boolean functions

By Tarasov V.  

Problems of Information Transmission, Vol. 41, Iss. 1, 2005-01 ,pp. : 59-64

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Discovering boundary algebra: a simple notation for Boolean algebra and the truth functors

By Meguire P.  

International Journal of General Systems, Vol. 32, Iss. 1, 2003-01 ,pp. : 25-87

Taylor & Francis Ltd

Access to resources Recommend Favorite

Best approximations of fitness functions of binary strings

By Zhang Hang   Rowe Jonathan E.  

Natural Computing, Vol. 3, Iss. 1, 2004-01 ,pp. : 113-124

Springer Publishing Company

Access to resources Recommend Favorite