John V. Tucker

Known as: J. V. Tucker, J.V. Tucker 
John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computability… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1983-2016
0119832016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
This note is not to be misunderstood as a general obituary touching all of the many facets of Barry’s personality: the teacher… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
The present special issue includes a selection of papers presented at the Third International Workshop on Physics and Computation… (More)
Is this relevant?
2011
2011
Blanck, J., 1997: Computability on topological spaces by eeective domain representations. Our aim in this thesis is to study a… (More)
Is this relevant?
1998
1998
The goal of deductive design is the systematic construction of a system implementation starting from its behavioural… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
 
Is this relevant?