Thomas H. Payne

zbMath Openpayne.thomas-hMaRDI QIDQ1149432

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
Visualising the pattern of long‐term genotype performance by leveraging a genomic prediction model Australian <html_ent glyph="@amp;" ascii="&amp;"/> New Zealand Journal of Statistics	2023-10-20	Paper
Case-free programs: An abstraction of definite horn programs	2023-04-28	Paper
A linear-time algorithm for drawing a planar graph on a grid Information Processing Letters	1997-02-28	Paper
Some properties of large filters Journal of Symbolic Logic	1988-01-01	Paper
General computability Notre Dame Journal of Formal Logic	1980-01-01	Paper
Sorting X + Y Communications of the ACM	1975-01-01	Paper
Computability on finite linear configurations Notre Dame Journal of Formal Logic	1975-01-01	Paper
Concrete computability Notre Dame Journal of Formal Logic	1975-01-01	Paper
Effective extendability and fixed-points Notre Dame Journal of Formal Logic	1973-01-01	Paper
On the Existence of Fixed Points in a Totally Ordered Set	1972-01-01	Paper
Sequences Having an Effective Fixed-Point Property	1972-01-01	Paper
Effectively Minimizing Effective Fixed-Points	1971-01-01	Paper
An elementary submodel never preserved by skolem expansions Mathematical Logic Quarterly	1969-01-01	Paper

Research outcomes over time

This page was built for person: Thomas H. Payne