John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computabilityâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2016

Review

2016

- Benedikt LÃ¶we
- Computability
- 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)

Is this relevant?

2012

2012

- Cristian S. Calude, JosÃ© FÃ©lix Costa, HÃ©lia Guerra
- Applied Mathematics and Computation
- 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

- Bernhard MÃ¶ller
- Prospects for Hardware Foundations
- 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