Showing
1 - 2
results of
2
for search '
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
Simple left-c.e. real number
Reset Filters
Show filters (1)
Topic:
Simple left-c.e. real number
Search Results - Open Polar
Search Results
Showing
1 - 2
results of
2
for search '
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
On the extension of computable real functions
Get access
Get access
Get access
On the extension of computable real functions
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
2
Author
Gomaa, Walid
2
Hoyrup, Mathieu
2
Topic
ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory
2
ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory
2
Computable Analysis
2
Computable linear ordering
2
Computable real function
2
Generic real number
2
Left-c.e. real number
2
Simple left-c.e. real number
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
2
see all ...
Content Provider
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
1
Université de Lorraine: HAL
1
Language
English
2
Open Polar Keyword
Iceland
2
Loading...