Results 231 to 240 of about 650,064 (276)

Closure Algebras and Boolean Algebras

Mathematical Logic Quarterly, 1977
openaire   +1 more source

A very thin thick superatomic Boolean algebra

, 1985
J. Roitman
semanticscholar   +1 more source

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

CADE, 2007
Viktor Kunčak, M. Rinard
semanticscholar   +1 more source

Boolean Algebras

2022
openaire   +1 more source

The Lattice of Contact Relations on a Boolean Algebra

RelMiCS, 2008
I. Düntsch, M. Winter
semanticscholar   +1 more source

Interpolative Realization of Boolean Algebra as a Consistent Frame for Gradation and/or Fuzziness

, 2008
D. Radojevic
semanticscholar   +1 more source

Short Single Axioms for Boolean Algebra

Journal of automated reasoning, 2002
W. McCune, R. Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, L. Wos   +5 more
semanticscholar   +1 more source

Introduction to the Comparative Method With Boolean Algebra

, 2008
Daniele Caramani
semanticscholar   +1 more source

BMS charge algebra

Journal of High Energy Physics, 2011
Glenn Barnich, Cédric Troessaert
exaly  

Path extension similarity link prediction method based on matrix algebra in directed networks

Computer Communications, 2022
exaly