Much shorter proofs: A bimodal investigation.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 1, p. 47, doi. 10.1002/malq.19900360107
- By:
- Publication type:
- Article
Works matching DE "PROOF theory -- Data processing"
Results: 4
1
2
Energy savings in simultaneous multi-threaded processors through dynamic resizing of datapath resources.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2012, v. 20, n. 1, p. 125, doi. 10.3906/elk-0909-233
- By:
- Publication type:
- Article
3
Watermark design based on Steiner triple systems.
- Published in:
- Multimedia Tools & Applications, 2014, v. 72, n. 3, p. 2177, doi. 10.1007/s11042-013-1513-x
- By:
- Publication type:
- Article
4
CSP-DHIES: a new public-key encryption scheme from matrix conjugation.
- Published in:
- Security & Communication Networks, 2012, v. 5, n. 7, p. 809, doi. 10.1002/sec.376
- By:
- Publication type:
- Article