Jonathan C. Martin
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 |
|---|---|---|
| The étale Brauer-Manin obstruction for classifying stacks (available as arXiv preprint) | 2025-01-01 | Paper |
| Novel Dynamics in an Additional Food provided Predator-Prey System with mutual interference (available as arXiv preprint) | 2023-01-01 | Paper |
| Control generation by program transformation | 2006-06-19 | Paper |
| Program Development in Computational Logic Lecture Notes in Computer Science | 2005-12-23 | Paper |
| Sonic partial deduction Lecture Notes in Computer Science | 2001-10-23 | Paper |
Research outcomes over time
This page was built for person: Jonathan C. Martin
