EDBT 2026 Demo / reviewers in the wild / expert
C. S. Lorens
dblp:180/6492
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1964
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Computational complexity · 50% Logic in computer science · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › algebraic logic › boolean algebra
boolean function classification |
0.0 | 1 | 1964 | Invertible Boolean Functions · IEEE Trans. Electron. Comput. 1964 |
Computational complexity
boolean function theory |
0.0 | 1 | 1964 | Invertible Boolean Functions · IEEE Trans. Electron. Comput. 1964 |
Methods — techniques the papers use, named apart from their topics
group theory · 0.0enumeration · 0.0asymptotic approximation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1964 | Invertible Boolean FunctionsabstractA Boolean function has an inverse when every output is the result of one and only one input. There are 2n! Boolean functions of n variables which have an inverse. Equivalence classes of these functions are sets of equivalent functions in the sense that they are identical under a group operation on the input and output variables. This paper counts through five variables the number of equivalence classes of invertible Boolean functions under the group operation of complementation, permutation, and complementation and permutation, linear transformations and affine transformations. Lower bounds are given which experimentally give an asymptotic approximation. A representative function is given of each of the 52 classes of invertible Boolean functions of three variables under complementation and permutation. These are divided into three types of classes, 21 self-inverting functions, three functions have an inverse in the same class and 14 pairs of functions, each function of the pair in a different class. The four representative functions under the affine transformation are self-invertible. C. S. Lorens |
IEEE Trans. Electron. Comput. | 1 |