Greg Nelson
From MaRDI portal
Person:2767988
Available identifiers
zbMath Open nelson.gregMaRDI QIDQ2767988
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| On the fault tolerance of the butterfly | 2016-09-01 | Paper |
| Simplify: a theorem prover for program checking | 2008-12-21 | Paper |
| Mathematics of Program Construction | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737120 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767989 | 2002-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677735 | 1984-01-01 | Paper |
| Fast Decision Procedures Based on Congruence Closure | 1980-01-01 | Paper |
| Simplification by Cooperating Decision Procedures | 1979-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Greg Nelson
