Generalized metatheorems on the extractability of uniform bounds in functional analysis : (extended abstract)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2006]
- Beteiligte Personen und Organisationen
-
Gerhardy, Philipp
Kohlenbach, Ulrich
- URN
-
urn:nbn:de:0030-drops-4318
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gerhardy, Philipp
- Kohlenbach, Ulrich
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2006]
Ähnliche Objekte (12)
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
On some bounds of the topological indices of generalized Sierpiński and extended Sierpiński graphs
Exclusion Bounds for Extended Anyons
Asymptotic generalized extended uncertainty principle
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Drawing Phylogenetic Trees : (Extended Abstract)
ENAMEL 2018, Vol. 1.. Extended abstracts
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
On some bounds of the topological indices of generalized Sierpiński and extended Sierpiński graphs
Exclusion Bounds for Extended Anyons
Asymptotic generalized extended uncertainty principle
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Drawing Phylogenetic Trees : (Extended Abstract)
ENAMEL 2018, Vol. 1.. Extended abstracts
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
On some bounds of the topological indices of generalized Sierpiński and extended Sierpiński graphs
Exclusion Bounds for Extended Anyons
Asymptotic generalized extended uncertainty principle
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Drawing Phylogenetic Trees : (Extended Abstract)