Cited By
View all- Boyer RMoore J(2005)A theorem prover for a computational logic10th International Conference on Automated Deduction10.1007/3-540-52885-7_75(1-15)Online publication date: 9-Jun-2005
- Gannett EKothari SYen H(2005)On optimal parallelization of sorting networksFoundations of Software Technology and Theoretical Computer Science10.1007/3-540-18625-5_51(195-206)Online publication date: 27-May-2005
- Huang CLengauer C(2005)An implemented method for incremental systolic designPARLE Parallel Architectures and Languages Europe10.1007/3-540-17943-7_127(160-177)Online publication date: 1-Jun-2005
- Show More Cited By