-&-1-123456789A-ABC-C-CDE&EFGHI-IJK&KL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
A
- A. C.
- in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
- Aachen
- in: Blumensath A.
"Structures of Bounded Partition Width" (2003)
- in: Blumensath A.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001)
- in: Blumensath A.
"Automatic Structures" (1999)
- Aarhus
- in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
- Abbes S.
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006)
- About
- in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)
- Abstract
- in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
- in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008)
- in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005)
- in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005)
- in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
- in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998)
- in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
- Abstraction
- in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999)
- Academic
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
- Account
- in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
- Accretive
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
- ACM
- in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2002)
- in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013)
- in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012)
- Acta
- in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004)
- Acyclic
- in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007)
- in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2012)
- in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
- Adams M.E.
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- Adaricheva K.V.
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- Addendum
- in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007)
- in: Kohlenbach U. and Leustean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
- Adv
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000)
- Advanced
- in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003)
- Advances
- in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992)
- in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
- in: Kohlenbach U. and Leustean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
- in: Kohlenbach U. and Leustean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012)
- in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
- in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- Advice
- in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013)
- in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- After
- in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007)
- Aided
- in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
- AiML
- in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- Akama Y.
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
- Al
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- Algebra
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
- in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)
- Algebraic
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
- in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012)
- in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009)
- in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)
- Algebras
- in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014)
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000)
- in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
- in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
- in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
- in: Leuştean L.
"Representations of many-valued algebras" (2004)
- Algorithm
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)
- Algorithmic
- in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- Algorithms
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014)
- All
- in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on $C[-1,1]$ are continuous." (2002)
- Almost-Kähler
- in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- Altenkirch T.
- in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996)
- in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995)
- Alternations
- in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005)
- Alvarez Manilla M.
- in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004)
- Ambos-Spies K.
- in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013)
- Amer
- in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008)
- in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014)
- in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014)
- in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005)
- Ames
- in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003)
- Amsterdam
- in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007)
- Anal
- in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
- in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003)
- in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
- Analysis
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
- in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008)
- in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007)
- in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000)
- in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008)
- in: Gerhardy P. and Kohlenbach U.
"General Logical Metatheorems for Functional Analysis" (2005)
- in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
- in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003)
- in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005)
- in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
- in: Körnlein D. and Kohlenbach U.
"Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces" (2011)
- in: Keimel K.
"Topological Cones: Functional Analysis in a T$$_{}-Setting" (2008)
- in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014)
- in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
- in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2018)
- in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017)
- in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014)
- in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011)
- in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
- in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007)
- in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005)
- in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005)
- in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005)
- in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
- in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002)
- in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
- in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998)
- in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998)
- in: Kohlenbach U.
"Proof theory and computational analysis" (1998)
- in: Kohlenbach U.
"Analysing proofs in analysis" (1996)
- in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
- in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
- in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
- in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
- in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012)
- in: Kreuzer A.P.
"A logical analysis of the generalized Banach contractions principle." (2012)
- in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007)
- in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013)
- in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)
- in: Streicher T.
"Universes in Toposes" (2005)
- Analytic
- in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013)
- in: Gärtner T. and Ziegler M.
"Real Analytic Machines and Degrees" (2011)
- Ann
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012)
- in: Blumensath A.
"Bounded Arithmetic and Descriptive Complexity" (2000)
- in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006)
- Annals
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014)
- in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006)
- in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009)
- in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016)
- in: Keimel K. and Lawson J.D.
"$D$-completions and the $d$-topology" (2009)
- in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009)
- in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014)
- in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012)
- in: Kohlenbach U. and Oliva P.
"Proof mining in L$$_{1}-approximation" (2003)
- in: Kohlenbach U.
"On uniform weak König's lemma" (2002)
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
- in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993)
- in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012)
- in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
- in: Otto M.
"Expressive completeness through logically tractable models" (2013)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004)
- in: Otto M.
"Canonization for two variables and puzzles on the square" (1997)
- in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012)
- in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
- in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- Annual
- in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
- Annunciation
- in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011)
- Antichain
- in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012)
- Appear
- in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014)
- in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014)
- in: Leuştean L.
"Baer extensions of BL-algebras" (2006)
- Appl
- in: Bénabou J. and Streicher T.
"Partial Toposes" (2003)
- in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012)
- in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002)
- in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
- in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006)
- in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003)
- in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)
- in: Streicher T.
"Inductive construction of repletion" (1999)
- Application
- in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)
- Applications
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006)
- in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
- in: Briseid E.M.
"A Rate of Convergence for Asymptotic Contractions" (2007)
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- in: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006)
- in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000)
- in: Erker T., Escardo M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998)
- in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
- in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
- in: Keimel K. and Lawson J.D.
"Measure extension theorems for $T$_{}-spaces" (2005)
- in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999)
- in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995)
- in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
- in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017)
- in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011)
- in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005)
- in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
- in: Kohlenbach U.
"Analysing proofs in analysis" (1996)
- in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016)
- in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
- in: Leuştean L.
"A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007)
- in: Leuştean L.
"Sheaf representations of BL-algebras" (2005)
- in: Otto M.
"Bisimulation and coverings for graphs and hypergraphs" (2013)
- in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
- Applied
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014)
- in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006)
- in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009)
- in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016)
- in: Keimel K. and Lawson J.D.
"$D$-completions and the $d$-topology" (2009)
- in: Keimel K., Rosenbusch A.P. and Streicher T.
"A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009)
- in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014)
- in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012)
- in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008)
- in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
- in: Kohlenbach U. and Oliva P.
"Proof mining in L$$_{1}-approximation" (2003)
- in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002)
- in: Kohlenbach U.
"On uniform weak König's lemma" (2002)
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
- in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012)
- in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
- in: Otto M.
"Expressive completeness through logically tractable models" (2013)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004)
- in: Otto M.
"Canonization for two variables and puzzles on the square" (1997)
- in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012)
- in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
- in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- Approach
- in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999)
- in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
- Approximate
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005)
- Approximation
- in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000)
- in: Keimel K. and Roth W.
"Ordered Cones and Approximation" (1992)
- in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993)
- in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
-&-1-123456789A-ABC-C-CDE&EFGHI-IJK&KL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
Submit a bug
This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)