|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Peter Schuster |
Elementary Choiceless Constructive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 512-526, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Countable Choice, Unique Existence, Intermediate Values, Connectedness 2000 MSC. Primary 03F60, Secondary 03E25, 26A15, 26E40, 54D05, 54E35, Constructive Mathematics, Approximate Analysis |
31 | Armin Hemmerling |
The Hausdorff-Ershov Hierarchy in Euclidean Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(3), pp. 323-350, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D65, 03D55, 03F60, 26E40, 68Q01, 03E15 |
31 | Sara Negri, Daniele Soravia |
The continuum as a formal space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 38(7), pp. 423-447, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991):03F65, 26E40, 54A05 (Other constructive mathematics, Constructive real analysis, Topological spaces and generalizations) |
28 | Peter Schuster 0001 |
Problems as Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 676-684, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
uniform continuity, unique existence, countable choice, completeness, Metric spaces, constructive mathematics |
28 | Douglas S. Bridges, Hajime Ishihara, Peter Schuster 0001 |
Compactness and Continuity, Constructively Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 89-102, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|