Demo Data from EDBT 2026 / reviewers in the wild / expert
Roy S. Nutter Jr.
dblp:173/1768
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1974
—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 |
Logic in computer science · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
algebraic logic |
0.0 | 1 | 1974 | Equivalence and Transformations for Post Multivalued Algebras · IEEE Trans. Computers 1974 |
Logic in computer science › many-valued logic
multivalued switching algebra |
0.0 | 1 | 1974 | Equivalence and Transformations for Post Multivalued Algebras · IEEE Trans. Computers 1974 |
Logic in computer science › algebraic logic
post algebras |
0.0 | 1 | 1974 | Equivalence and Transformations for Post Multivalued Algebras · IEEE Trans. Computers 1974 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1974 | Equivalence and Transformations for Post Multivalued AlgebrasabstractFour commonly used multivalued algebras, the disjoint system of Post algebra developed by Epstein, the monotonic system of algebra called Muehldorf by some authors, the free system of algebra introduced by Braddock and Epstein, and the Herrmann system of algebra generalized here from its original three element algebra, are shown to be isomorphic. Transformations are then developed for transforming from one algebra to another. An example problem is presented to illustrate transforming from any of the above to the disjoint system of Post algebra. Roy S. Nutter Jr., Robert E. Swartwout, David C. Rine |
IEEE Trans. Computers | 1 |