Thomas H. Payne

Available identifiers

Publication	Date of Publication	Type
Visualising the pattern of long‐term genotype performance by leveraging a genomic prediction model	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	1997-02-28	Paper
Some properties of large filters	1988-01-01	Paper
General computability	1980-01-01	Paper
Sorting X + Y	1975-01-01	Paper
Computability on finite linear configurations	1975-01-01	Paper
Concrete computability	1975-01-01	Paper
Effective extendability and fixed-points	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	1969-01-01	Paper

This page was built for person: Thomas H. Payne