Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

C. S. Lorens

dblp:180/6492 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Logic in computer science › algebraic logic › boolean algebra
boolean function classification
0.011964
Invertible Boolean Functions · IEEE Trans. Electron. Comput. 1964
Computational complexity
boolean function theory
0.011964
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
YearPublicationVenuePosition
1964 Invertible Boolean Functions
abstract
A 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