William Byrd
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 |
|---|---|---|
| Lightweight functional logic meta-programming | 2024-04-19 | Paper |
| Deterministic models for simulating electrocardiographic signals Communications in Nonlinear Science and Numerical Simulation | 2011-08-02 | Paper |
| α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic Logic Programming | 2009-01-22 | Paper |
| Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) Functional and Logic Programming | 2008-04-11 | Paper |
Research outcomes over time
This page was built for person: William Byrd
