Output details
11 - Computer Science and Informatics
Swansea University
Return to search
Output 0 of 0 in the submission
Article title
Canonical effective subalgebras of classical algebras as constructive metric completions
Type
D - Journal article
Title of journal
Journal of Universal Computer Science
Article number
-
Volume number
16
Issue number
18
First page of article
2496
ISSN of journal
0948-6968
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<10> Stability theory is about the equivalence of representations upon which the invariance of computation - and the portability of software - depends. This paper uses realisability theory to give general stability results that apply to most known models of computation. The generalisation is based upon metric spaces. A broader generalisation for a particular class of models of computation (type 1 computability) appears in our REF output "Stability of representations of effective partial algebras".
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-