-&-1-123456789A-ABC-C-CDE&EFGHI-IJK&KL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
T
- T
- in: Keimel K.
"Topological Cones: Functional Analysis in a T$$_{}-Setting" (2008)
- in: Keimel K. and Lawson J.D.
"Measure extension theorems for $T$_{}-spaces" (2005)
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- Talcott C.
- in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002)
- TAMC
- in: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006)
- Tao
- in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010)
- Technische
- in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009)
- in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- Technologies
- in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
- Term
- in: Kreuzer A. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012)
- Terms
- in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
- Than
- in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
- That
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- Their
- in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008)
- Theor
- in: Streicher T.
"Denotational completness revisited" (1999)
- Theorem
- in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005)
- in: Gerhardy P.
"A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
- in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
- in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012)
- in: Kohlenbach U. and Nicolae A.
"A proof-theoretic bound extraction theorem for CAT$(\kappa )$-spaces" (2017)
- in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
- in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009)
- in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008)
- in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001)
- in: Kohlenbach U.
"A note on Goodman's theorem" (1999)
- in: Kreuzer A. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012)
- in: Kreuzer A. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009)
- in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- in: Otto M.
"An interpolation theorem" (2000)
- in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)
- in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and $\exists $. " (1994)
- Theorems
- in: Dawar A. and Otto M.
"Modal Characterisation Theorems over Special Classes of Frames" (2009)
- in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005)
- in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011)
- in: Keimel K. and Lawson J.D.
"Measure extension theorems for $T$_{}-spaces" (2005)
- in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014)
- in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
- in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2004)
- in: Otto M.
"Modal and guarded characterisation theorems over finite transition systems" (2002)
- Theoret
- in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
- in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004)
- in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
- Theoretic
- in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006)
- in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- Theoretical
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006)
- in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004)
- in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008)
- in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003)
- in: Grädel E. and Otto M.
"On logics with two variables" (1999)
- in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013)
- in: Hernest M.D. and Kohlenbach U.
"A Complexity Analysis of Functional Interpretations" (2005)
- in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
- in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2012)
- in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011)
- in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009)
- in: Keimel K. and Lawson J.D.
"Extending algebraic operations to D-completions" (2009)
- in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006)
- in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006)
- in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
- in: Keimel K.
"Bi-continuous valuations" (1998)
- in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
- in: Kohlenbach U.
"Proof theory and computational analysis" (1998)
- in: Leuştean L.
"Proof mining in $R$-trees and hyperbolic spaces " (2006)
- in: Otto M.
"Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999)
- in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- Theories
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007)
- in: Blumensath A.
"Simple Monadic Theories" (2008)
- in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007)
- in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991)
- Theory
- in: Bénabou J. and Streicher T.
"Partial Toposes" (2003)
- in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014)
- in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002)
- in: Blumensath A.
"Axiomatising tree-interpretable structures" (2004)
- in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004)
- in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007)
- in: Briseid E.M.
"Some Results on Kirk's Asymptotic Contractions" (2007)
- 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: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006)
- in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006)
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998)
- in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998)
- in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
- in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009)
- in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995)
- in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
- in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009)
- in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008)
- in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008)
- in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005)
- in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
- in: Kohlenbach U.
"Proof theory and computational analysis" (1998)
- 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: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
- in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
- in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012)
- in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)
- in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
- in: Streicher T.
"Semantics of Type Theory" (1991)
- Theory---a
- 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)
- Thesis
- in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003)
- Things
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000)
- Thomas W.
- in: Berwanger D. and Blumensath A.
"Automata for Guarded Fixed Point Logics" (2002)
- in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002)
- Three
- in: Otto M.
"Bounded-variable logics: two, three, and more" (1999)
- Three-valued
- in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002)
- Through
- in: Otto M.
"Expressive completeness through logically tractable models" (2013)
- Time
- 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)
- Timi&
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- Tiny
- in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994)
- Tison S.
- in: Otto M.
"Eliminating recursion in the mu-calculus" (1999)
- Tix R.
- in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- Tokens
- in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992)
- Topological
- in: Keimel K.
"Topological Cones: Functional Analysis in a T$$_{}-Setting" (2008)
- in: Keimel K.
"Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006)
- in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004)
- Topology
- in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006)
- 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.
"The intrinsic topology of Martin-Löf universes" (2016)
- in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000)
- 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.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
- in: Streicher T.
"Universes in Toposes" (2005)
-&-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)