Abstract | ||
---|---|---|
For two naturals m,n such that m |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.ic.2010.01.001 | Inf. Comput. |
Keywords | Field | DocType |
naturals m,universal circuit,combinational circuit,model checking,industrial design | Discrete mathematics,Combinatorics,Model checking,Input/output,Probability distribution,Electronic circuit,Mathematics,Bounded function | Journal |
Volume | Issue | ISSN |
208 | 4 | Information and Computation |
Citations | PageRank | References |
0 | 0.34 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arie Matsliah | 1 | 249 | 24.98 |
Ofer Strichman | 2 | 1071 | 63.61 |