共 50 条
- [1] Parallel computation of boolean Grobner bases PROCEEDINGS OF THE FOURTH ASIAN TECHNOLOGY CONFERENCE IN MATHEMATICS, 1999, : 265 - 274
- [2] Generic and scalable DNA-based logic design methodology for massive parallel computation JOURNAL OF SUPERCOMPUTING, 2023, 79 (02): : 1426 - 1450
- [3] Generic and scalable DNA-based logic design methodology for massive parallel computation The Journal of Supercomputing, 2023, 79 : 1426 - 1450
- [6] Godel Logic: from Natural Deduction to Parallel Computation 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,