James Brotherston

From MaRDI portal

Person:6504552

Jump to:navigation, search

Available identifiers

zbMath Open brotherston.james-aMaRDI QIDQ6504552

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 failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	N/A	Paper
Monoidal model structures on filtered chain complexes relating to spectral sequences	N/A	Paper
A distributive lattice of model structures relating to spectral sequences	N/A	Paper

Research outcomes over time

This page was built for person: James Brotherston

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6504552&oldid=40451397"