Statistics
Publications
1
Citations
31
H-Index
1
Active since
1992
Stavridou is an author specializing in circuit complexity, computing, and logic.
Publications per year
1992–1992
1
1
Theorem Provers in Circuit Design
Stavridou, Tom Melham, Raymond Boute · 1992 · 31 citations
1–1 of 1