Paul He
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 |
|---|---|---|
| Choice trees: representing and reasoning about nondeterministic, recursive, and impure programs in Rocq Journal of Functional Programming | 2025-10-10 | Paper |
| The satisfiability of word equations: decidable and undecidable theories | 2018-10-23 | Paper |
Research outcomes over time
This page was built for person: Paul He
