Näytetään tulokset 1 - 10 / 228
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi

Reduction of database independence to dividing in atomless Boolean algebras

Vertaisarvioitu
DOI
10.1007/s00153-016-0477-8
Hyttinen, Tapani; Paolini, Gianluca
Archive for Mathematical Logic2016

The representation of Boolean algebras in the spotlight of a proof checker

Vertaisarvioitu
Ceterchi, Rodica; Omodeo, Eugenio G.; Tomescu, Alexandru I.
CEUR Workshop Proceedings2014

Clifford Algebras and Spinors

Vertaisarvioitu
Lounesto, P.
Cambridge University Press1997

Solving Boolean Equation Systems

Keinänen, Misa
-2005

Multidimensional Linear Distinguishing Attacks and Boolean Functions

Vertaisarvioitu
Hermelin, Miia; Nyberg, Kaisa
-2008

BCSat 0.3 - a satisfiability checker for Boolean circuits

Junttila, Tommi
-2001

Composites in semirings of Boolean groups

Vertaisarvioitu
DOI
10.4171/RSMUP/48
Mahatab, Kamalakshya
Rendiconti del Seminario matematico della Università di Padova2021

Solving Alternating Boolean Equation Systems in Answer Set Programming

Vertaisarvioitu
DOI
10.1007/11415763_9
Keinänen, Misa; Niemelä, Ilkka
Lecture Notes in Computer Science2005

phi -amenability and character amenability of some classes of Banach algebras

Vertaisarvioitu
Essmaili, Morteza; Filali, Mahmoud
Houston journal of mathematics2013

Obtaining Memory Efficient Solutions to Boolean Equation Systems

Vertaisarvioitu
Keinänen, Misa
European Research Consortium for Informatics and Mathematics (ERCIM)2004

Reduction of database independence to dividing in atomless Boolean algebras

Vertaisarvioitu
DOI
10.1007/s00153-016-0477-8
2016

The representation of Boolean algebras in the spotlight of a proof checker

Vertaisarvioitu
2014

Clifford Algebras and Spinors

Vertaisarvioitu
1997

Solving Boolean Equation Systems

2005

Multidimensional Linear Distinguishing Attacks and Boolean Functions

Vertaisarvioitu
2008

BCSat 0.3 - a satisfiability checker for Boolean circuits

2001

Composites in semirings of Boolean groups

Vertaisarvioitu
DOI
10.4171/RSMUP/48
2021

Solving Alternating Boolean Equation Systems in Answer Set Programming

Vertaisarvioitu
DOI
10.1007/11415763_9
2005

phi -amenability and character amenability of some classes of Banach algebras

Vertaisarvioitu
2013

Obtaining Memory Efficient Solutions to Boolean Equation Systems

Vertaisarvioitu
2004