Concepedia

John V. Tucker

JV

Statistics

Publications

62

Citations

2K

H-Index

26

Active since

1979

Affiliations

Swansea University(Current)

University of Wales

University of Leeds

University of Lisbon

University of Amsterdam

John V. Tucker is an author at Swansea University specializing in computer science, theory of computation, and computing.

ORCID

Publications per year

1979–2023

62

Publications

62

Universal algebra

K. Meinke, John V. Tucker · Logic in Computer Science · 1993 · 134 citations

Constructive Volume Geometry

Min Chen, John V. Tucker · Computer Graphics Forum · 2000 · 116 citations · Full text

, , +16

The rational numbers as an abstract data type

J.A. Bergstra, John V. Tucker · Journal of the ACM · 2007 · 114 citations

, , +13

Algebraic specifications of computable and semicomputable data types

J.A. Bergstra, John V. Tucker · Theoretical Computer Science · 1987 · 88 citations

, , +13

Abstract versus concrete computation on metric partial algebras

John V. Tucker, J. I. Zucker · ACM Transactions on Computational Logic · 2004 · 70 citations

, , +9

1–5 of 62