Logic Equation Description is a formal method in combinational logic design that represents the behavior of digital circuits using Boolean expressions to specify the relationship between inputs and outputs.
18
Publications
1.6K
Citations
23
Authors
12
Institutions
Publications per year
2017–2026
0
Publications
18
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
1996 · 104 citations
Boolean reasoning: The logic of Boolean equations
Discrete Applied Mathematics · 1993 · 68 citations
1–5 of 18
Authors
23
- SR
1
h-index
- MB
1
h-index
- BJBharat Jayaraman
University at Buffalo, State University of New York, United States
1 publications · 14 citations
1
h-index
- JR
1
h-index
- MS
1
h-index
1–5 of 23
Institutions
12
University of London
London, United Kingdom
1 h-index
1 publications
12 citations
Ross Laboratories (United States)
Seattle, United States
1 h-index
1 publications
984 citations
Imperial College London
London, United Kingdom
1 h-index
1 publications
12 citations
Burroughs Wellcome Fund
Durham, United States
1 h-index
1 publications
21 citations
Hewlett-Packard (United States)
Palo Alto, United States
1 h-index
2 publications
44 citations
École Normale Supérieure Paris-Saclay
Gif-sur-Yvette, France
1 h-index
2 publications
30 citations
Hosei University
Tokyo, Japan
1 h-index
2 publications
164 citations
Shaanxi Normal University
Xi'an, China
1 h-index
2 publications
32 citations
1–8 of 12
Venues
- IEEE Transactions on Electronic Computers
2 publications · 35 citations
2
h-index
- IEEE Transactions on Systems Man and Cybernetics
2 publications · 1.1K citations
2
h-index
- Computer Science Logic
Conference · 1 publications · 56 citations
1
h-index
- Proceedings of the Institution of Electrical Engineers
1 publications · 12 citations
1
h-index
- Principles of Knowledge Representation and Reasoning
Conference · 1 publications · 69 citations
1
h-index
1–5