Old Web
English
Sign In
Acemap
>
authorDetail
>
Irina Kufareva
Irina Kufareva
Tomsk State University
Binary number
Formal equivalence checking
Multiplication
Arithmetic circuit complexity
Expression (mathematics)
1
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Equivalence Checking of Arithmetic Circuits
2004
Dominik Stoffel
Evgeny Karibaev
Irina Kufareva
Wolfgang Kunz
Show All
Source
Cite
Save
Citations (1)
1