Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,309 papers from all fields of science
Search
Sign In
Create Free Account
Boolean algebra
Known as:
Boolean search
, BooleanAlgebra
, Boolean logic in computer science
Expand
In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
A New Kind of Science
AND gate
Algebraic normal form
Binary data
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A triangular three-dye DNA switch capable of reconfigurable molecular logic
Susan Buckhout‐White
,
J. Claussen
,
+4 authors
Igor L. Medintz
2014
Corpus ID: 13700300
Structural DNA nanotechnology has developed profoundly in the last several years allowing for the creation of increasingly…
Expand
Review
2008
Review
2008
A Comprehensive Survey of Multicast Routing Protocols for Mobile Ad Hoc Networks
Cheng-Bing Huang
,
Shou-Chih Lo
2008
Corpus ID: 5748124
MANETs are considered to be an important network type in the near future. Nodes in MANETs are often collaborative for a…
Expand
2005
2005
Is it true; or is it false; or somewhere in between? The logic of quantum theory
C. Isham
2005
Corpus ID: 11245443
The paper contains a relatively non-technical summary of some recent work by the author and Jeremy Butterfield. The goal is to…
Expand
2001
2001
Fundamentals of Embedded Software: Where C and Assembly Meet with Cdrom
D. Lewis
2001
Corpus ID: 59642517
From the Publisher: Fundamentals of Embedded Software: Where C and Assembly Meet is a refreshing alternative to the traditional…
Expand
1993
1993
A model checker for statecharts (linking case tools with formal methods)
N. A. Day
1993
Corpus ID: 60739372
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in…
Expand
Review
1992
Review
1992
Approaches to Pronunciation Teaching
Adam Brown
1992
Corpus ID: 60127792
This collection provides an overview of the teaching of English pronunciation. Contributors address major issues of description…
Expand
1985
1985
Zeus: A Language for Expressing Algorithms in Hardware
German
,
Lieberherr
Computer
1985
Corpus ID: 18453374
Hardware description languages generally lack conciseness and formal semantics. Zeus is a notation to solve these problems…
Expand
Highly Cited
1984
Highly Cited
1984
Model-Reference Adaptive Control—Stability, Parameter Convergence, and Robustness
S. Sastry
1984
Corpus ID: 53118460
We study stability, parameter convergence and robustness aspects of single input-single output model reference adaptive systems…
Expand
1979
1979
A 1500 gate, random logic, large-scale integrated (LSI) masterslice
R. Blumberg
,
S. Brenner
IEEE Journal of Solid-State Circuits
1979
Corpus ID: 28025934
Describes the development for the bipolar gate array masterslice for custom designed logic. One chip is designed containing an…
Expand
1978
1978
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra
S. Winker
,
L. Wos
MVL '78
1978
Corpus ID: 11035944
The thrust of this paper is: first, to answer certain previously unanswered questions in the field of Ternary Boolean algebra…
Expand