Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research Units
Search by expertise, name or affiliation
Dependent choice as a termination principle
Thomas Powell
Department of Computer Science
Mathematical Foundations of Computation
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Dependent choice as a termination principle'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Termination
100%
Dependent
63%
Axiom
20%
Path
16%
Formulation
15%
Generalise
13%
Theorem
9%
Arts & Humanities
Axioms
46%