Greg Nelson
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the fault tolerance of the butterfly Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 | 2016-09-01 | Paper |
| Simplify: a theorem prover for program checking Journal of the ACM | 2008-12-21 | Paper |
| Mathematics of Program Construction Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2086586 (Why is no real title available?) | 2004-08-11 | Paper |
| Extended static checking | 2002-01-30 | Paper |
| scientific article; zbMATH DE number 3898849 (Why is no real title available?) | 1984-01-01 | Paper |
| Fast Decision Procedures Based on Congruence Closure Journal of the ACM | 1980-01-01 | Paper |
| Simplification by Cooperating Decision Procedures ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
Research outcomes over time
This page was built for person: Greg Nelson
