|
Bibliography | ||||
| PREV NEXT | FRAMES NO FRAME | ||||
| 2025 | |
| Despres L.M. et al. | "Herbrand analyses in geometry: a case study" (Article) |
| Kohlenbach U. et al. | "Fejér monotone sequences revisited" (Article) |
| Pinto P. | "On the finitary content of Dykstra's cyclic projections algorithm" (Article) |
| Pischke N. | "A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an..." (Article) |
| Pischke N. | "Duality, Fréchet differentiability and Bregman distances in..." (Article) |
| Pischke N. | "Generalized Fejér monotone sequences and their finitary content" (Article) |
| Treusch J. et al. | "Rates of convergence for splitting algorithms" (Article) |
| 2024 | |
| Dinis B. et al. | "Effective metastability for a method of alternating resolvents" (Article) |
| Findling R. et al. | "Rates of convergence and metastability for Chidume's algorithm for the..." (Article) |
| Firmino P. et al. | "The alternating Halpern-Mann iteration for families of maps" (Unpublished) |
| Leuştean L. et al. | "Rates of asymptotic regularity for the alternating Halpern-Mann..." (Article) |
| Pinto P. | "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (Article) |
| Pinto P. et al. | "On Dykstra's algorithm with Bregman projections" (Unpublished) |
| Pinto P. et al. | "On the Halpern method with adaptive anchoring parameters" (Unpublished) |
| Pinto P. et al. | "Product of hyperbolic spaces" (Unpublished) |
| Pinto P. | "Proof mining and the convex feasibility problem: the curious case of..." (Unpublished) |
| Pischke N. et al. | "Effective rates for iterations involving Bregman strongly nonexpansive..." (Article) |
| Pischke N. | "Logical Metatheorems for Accretive and (Generalized) Monotone..." (Article) |
| Pischke N. | "Proof mining for the dual of a Banach space with extensions for..." (Article) |
| Pischke N. | "Rates of convergence for the asymptotic behavior of second-order Ca..." (Article) |
| 2023 | |
| Dinis B. et al. | "Strong convergence for the alternating Halpern-Mann iteration in CA..." (Article) |
| Freund A. et al. | "Bounds for a nonlinear ergodic theorem for Banach spaces" (Article) |
| Horatiu Cheval U.K. et al. | "On modified Halpern and Tikhonov-Mann iterations" (Article) |
| Kohlenbach U. | "Kreisel's shift of emphasis and contemporary proof mining" (Article) |
| Kohlenbach U. et al. | "Proof theory and nonsmooth analysis" (Article) |
| Pinto P. et al. | "On computational properties of Cauchy problems generated by accretive..." (Article) |
| Pinto P. | "On quantitative versions of Xu's Lemma" (Technical report) |
| Pischke N. | "On Infinitary Gödel Logics" (Article) |
| Pischke N. | "On Intermediate Justification Logics" (Article) |
| Pischke N. | "On Korpelevich's Extragradient Algorithm" (Article) |
| Pischke N. | "Quantitative Results on Algorithms for Zeros of Differences of Mono..." (Article) |
| 2022 | |
| Aguilera J.P. et al. | "Boundedness theorems for flowers and sharps" (Article) |
| Freund A. | "A mathematical commitment without computational strength" (Article) |
| Freund A. et al. | "Minimal bad sequences are necessary for a uniform Kruskal theorem" (Article) |
| Freund A. | "Patterns of resemblance and Bachmann-Howard fixed points" (Article) |
| Freund A. et al. | "R.E. Bruck, proof mining and a rate of asymptotic regularity for..." (Article) |
| Kohlenbach U. | "On the Proximal Point Algorithm and its Halpern-type variant for..." (Article) |
| Kohlenbach U. et al. | "Quantitative translations for viscosity approximation methods in..." (Article) |
| Pischke N. et al. | "Quantitative analysis of a subgradient-type method for equilibrium..." (Article) |
| 2021 | |
| Aguilera J.P. et al. | "Ackermann and Goodstein go functorial" (Article) |
| Dinis B. et al. | "On the convergence of algorithms with Tikhonov regularization terms" (Article) |
| Dinis B. et al. | "Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (Article) |
| Freund A. et al. | "Derivatives of normal functions in reverse mathematics" (Article) |
| Freund A. | "Well ordering principles and Pi" (Article) |
| Kohlenbach U. et al. | "A uniform betweenness property in metric spaces and its role in the..." (Article) |
| Kohlenbach U. | "Proof-theoretic uniform boundedness and bounded collection principles..." (Article) |
| Kohlenbach U. | "Quantitative results on the Proximal Point Algorithm in uniformly..." (Article) |
| Kohlenbach U. et al. | "The finitary content of sunny nonexpansive retractions" (Article) |
| Leuştean L. et al. | "Quantitative results on a Halpern-type proximal point algorithm" (Article) |
| Pinto P. | "A rate of metastability for the Halpern type Proximal Point Algorithm" (Article) |
| 2020 | |
| Dinis B. et al. | "Metastability of the proximal point algorithm with multi-parameters" (Article) |
| Freund A. | "A note on ordinal exponentiation and derivatives of normal functions" (Article) |
| Freund A. | "Computable Aspects of the Bachmann-Howard Principle" (Article) |
| Freund A. | "From Kruskal's theorem to Friedman's gap condition" (Article) |
| Freund A. | "How strong are single fixed points of normal functions?" (Article) |
| Freund A. | "Predicative Collapsing Principles" (Article) |
| Freund A. | "Set-theoretic reflection is equivalent to induction over well-founded..." (Article) |
| Freund A. et al. | "Short Proofs for Slow Consistency" (Article) |
| Freund A. | "What is effective transfinite recursion in reverse mathematics?" (Article) |
| Kohlenbach U. | "Local formalizations in nonlinear analysis and related areas and..." (In proceedings) |
| Kohlenbach U. | "Quantitative analysis of a Halpern-type Proximal Point Algorithm for..." (Article) |
| Kohlenbach U. et al. | "Rates of convergence for iterative solutions of equations involving..." (Article) |
| 2019 | |
| Freund A. | "A Categorical Construction of Bachmann-Howard Fixed Points" (Article) |
| Freund A. | "A Note on Iterated Consistency and Infinite Proofs" (Article) |
| Freund A. | "Pi-Comprehension..." (Article) |
| Kohlenbach U. | "A polynomial rate of asymptotic regularity for compositions of..." (Article) |
| Kohlenbach U. et al. | "Moduli of regularity and rates of convergence for Fejér mono..." (Article) |
| Kohlenbach U. | "On the reverse mathematics and Weihrauch complexity of moduli of..." (Article) |
| Kohlenbach U. | "Proof-theoretic methods in nonlinear analysis" (In proceedings) |
| 2018 | |
| Bacak M. et al. | "On proximal mappings with Young functions in uniformly convex Banach..." (Article) |
| Bae S.W. et al. | "Gap-planar graphs" (Article) |
| Ciardelli I. et al. | "Inquisitive bisimulation" (Unpublished) |
| Fujiwara M. et al. | "Interrelation between weak fragments of double negation shift and..." (Article) |
| Kohlenbach U. et al. | "Quantitative results on Fejér monotone sequences" (Article) |
| Leuştean L. et al. | "An abstract proximal point algorithm" (Article) |
| Leuştean L. et al. | "An application of proof mining to the proximal point algorithm in..." (In a collection) |
| Leuştean L. et al. | "Effective strong convergence of the proximal point algorithm in CAT(0)..." (Article) |
| Neumann E. et al. | "Computability in Basic Quantum Mechanics." (Article) |
| Otto M. | "Acyclicity in finite groups and groupoids" (Unpublished) |
| Sipoş A. | "Codensity and Stone spaces" (Article) |
| 2017 | |
| Canavoi F. et al. | "Common knowledge and multi-scale locality analysis in Cayley structures" (In proceedings) |
| Ciardelli I. et al. | "Bisimulation in inquisitive modal logic" (In proceedings) |
| Eickmeyer K. et al. | "FO Model Checking on Map Graphs" (In proceedings) |
| Eickmeyer K. et al. | "Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (Article) |
| Kohlenbach U. et al. | "A proof-theoretic bound extraction theorem for..." (Article) |
| Kohlenbach U. et al. | "Quantitative asymptotic regularity for the composition of two mappings" (Article) |
| Kohlenbach U. | "Recent progress in proof mining in nonlinear analysis" (Article) |
| Otto M. | "Amalgamation and symmetry: from local to global consistency in the..." (Unpublished) |
| Streicher T. | "A classical realizability model arising from a stable model of untyped..." (Article) |
| 2016 | |
| Eickmeyer K. et al. | "Successor-Invariant First-Order Logic on Graphs with Excluded..." (In proceedings) |
| Escardó M. et al. | "The intrinsic topology of Martin-Löf universes" (Article) |
| Günzel D. et al. | "Logical metatheorems for abstract spaces axiomatized in positive..." (Article) |
| Kohlenbach U. | "On the quantitative asymptotic behavior of strongly nonexpansive..." (Article) |
| Koutsoukou-Argyraki A. et al. | "Effective asymptotic regularity for one-parameter nonexpansive..." (Article) |
| 2015 | |
| Fujiwara M. et al. | "Classical provability of uniform versions and intuitionistic..." (Article) |
| Grohe M. et al. | "Pebble games and linear equations" (Unpublished) |
| Kohlenbach U. | "On the disjunctive Markov principle" (Article) |
| Koutsoukou-Argyraki A. et al. | "Rates of convergence and metastability for abstract Cauchy problems..." (Article) |
| Maschio S. et al. | "Models of intuitionistic set theory in subtoposes of nested..." (Article) |
| Otto M. | "Finite groupoids, finite coverings and symmetries in finite structures" (Unpublished) |
| 2014 | |
| Awodey S. et al. | "Relating first-order set theories, toposes and categories of classes." (Article) |
| Barany V. et al. | "Querying the guarded fragment" (Article) |
| Battenfeld I. et al. | "Observationally-induced algebras in Domain Theory" (Article) |
| Blumensath A. et al. | "Decidability results for the boundedness problem" (Article) |
| Eickmeyer K. et al. | "Expressivity and Succinctness of Order-Invariant Logics on..." (In proceedings) |
| Grädel E. et al. | "The freedoms of (guarded) bisimulation" (In a collection) |
| Gregoriades V. | "Choice free Fixed Point Property in separable Banach spaces" (Article) |
| Gregoriades V. | "Classes of Polish spaces under effective Borel isomorphism" (Article) |
| Körnlein D. et al. | "Rate of metastability for Bruck's iteration of pseudocontractive..." (Article) |
| Kawamura A. et al. | "Complexity of Laplace's and Poisson's Equation" (In proceedings) |
| Kawamura A. et al. | "Computational Complexity of Smooth Differential Equations" (Article) |
| Khan M.A.A. et al. | "Quantitative image recovery theorems" (Article) |
| Kohlenbach U. et al. | "Addendum to `Effective metastability for Halpern iterates in CAT(0)..." (Article) |
| Kohlenbach U. et al. | "Fluctuations, effective learnability and metastability in analysis" (Article) |
| Müller N. et al. | "From Calculus to Algorithms without Errors" (In proceedings) |
| 2013 | |
| Ambos-Spies K. et al. | "Real Benefit of Promises and Advice" (In proceedings) |
| Eickmeyer K. et al. | "Model Checking for Successor-Invariant First-Order Logic on..." (In proceedings) |
| Fedel M. et al. | "Imprecise probabilities, bets, and functional analytic methods in..." (Article) |
| Gaspar J. | "Negative translations not intuitionistically equivalent to the usual..." (Article) |
| Heckmann R. et al. | "Quasicontinuous domains and the Smyth powerdomain" (Article) |
| Herrmann C. et al. | "Satisfiability of cross product terms is complete for real..." (In proceedings) |
| Keimel K. | "Sheaf Representations of algebraic systems. A personal historical..." (Article) |
| Khan M.A.A. et al. | "Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic..." (Article) |
| Otto M. | "Bisimulation and coverings for graphs and hypergraphs" (In a collection) |
| Otto M. | "Expressive completeness through logically tractable models" (Article) |
| Otto M. | "Groupoids, hypergraphs, and symmetries in finite models" (In proceedings) |
| Pauly A. et al. | "Relative Computability and Uniform Continuity of Relations" (Article) |
| Streicher T. | "Krivine's Classical Realizability from a Categorical Perspective" (Article) |
| 2012 | |
| Barany V. et al. | "Queries with guarded negation" (In proceedings) |
| Barany V. et al. | "Queries with guarded negation" (Unpublished) |
| Berg (van den) B. et al. | "A functional interpretation for nonstandard arithmetic." (Article) |
| Gregoriades V. | "Turning Borel sets into clopen sets effectively" (Article) |
| Grohe M. et al. | "Pebble games and linear equations" (In proceedings) |
| Kawamura A. et al. | "Computational Complexity of Smooth Differential Equations" (In proceedings) |
| Keimel K. et al. | "Extending algebraic operations to D-completions" (Article) |
| Keimel K. | "Locally convex cones and the Schröder--Simpson theorem" (Article) |
| Keimel K. | "On the equivalence of state transformer senmatics and predicate..." (In proceedings) |
| Kieronski E. et al. | "Small substructures and decidability issues for first-order logic with..." (Article) |
| Kohlenbach U. | "A uniform quantitative form of sequential weak compactness and..." (Article) |
| Kohlenbach U. et al. | "Effective metastability for Halpern iterates in CAT(0) space." (Article) |
| Kohlenbach U. | "Gödel functional interpretation and weak compactness" (Article) |
| Kohlenbach U. et al. | "On the computational content of convergence proofs via Banach limitd." (Article) |
| Kreuzer A.P. | "A logical analysis of the generalized Banach contractions principle." (Article) |
| Kreuzer A.P. | "Non-principal ultrafilters, program extraction and higher order rev..." (Article) |
| Kreuzer A.P. | "On the strength of weak compactness." (Article) |
| Kreuzer A.P. | "Primitive recursion and the chain antichain principle." (Article) |
| Kreuzer A.P. et al. | "Term extraction and Ramsey's theorem for pairs." (Article) |
| Lietz P. et al. | "Realizability models refuting Ishihara's boundedness principle." (Article) |
| Otto M. | "Highly acyclic groups, hypergraph covers and the guarded fragment" (Article) |
| Otto M. | "On groupoids and hypergraphs" (Unpublished) |
| Reus B. et al. | "A synthetic theory of sequential domains." (Article) |
| Safarik P. | "A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (Article) |
| Schade K. et al. | "Effective metastability for modified Halpern iterations in CAT(0)..." (Article) |
| Simpson A. et al. | "Constructive toposes with countable sums as models of constructive set..." (Article) |
| Ziegler M. | "Real Computation with Least Discrete Advice" (Article) |
| 2011 | |
| Gärtner T. et al. | "Real Analytic Machines and Degrees" (Article) |
| Goubault-Larrecq J. et al. | "Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (Article) |
| Gregoriades V. | "The descriptive set-theoretic complexity of the set of points of..." (Article) |
| Herrmann C. et al. | "Computational Complexity of Quantum Satisfiability" (In proceedings) |
| Hofmann K.H. et al. | "A mathematician's view of an Italian 15th century painting: The..." (Article) |
| Keimel K. et al. | "Relating Direct and Predicate Transformer Partial Correctness Seman..." (Article) |
| Kohlenbach U. | "A note on the monotone functional interpretation" (Article) |
| Kohlenbach U. | "Gödel's functional interpretation and its use in current..." (In proceedings) |
| Kohlenbach U. | "On quantitative versions of theorems due to F.E. Browder and R...." (Article) |
| Kohlenbach U. | "On the asymptotic behavior of odd operators" (Article) |
| Kreuzer A.P. | "The cohesive principle and the Bolzano-Weierstraß principle." (Article) |
| Otto M. | "Model theoretic methods for fragments of FO and special classes of..." (In a collection) |
| Reus B. et al. | "Relative completeness for logics of functional programs." (In proceedings) |
| 2010 | |
| Barany V. et al. | "Querying the guarded fragment" (In proceedings) |
| Briseid E.M. | "A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (Article) |
| Gaspar J. et al. | "On Tao's finitary infinite pigeonhole principle" (Article) |
| Kartzow A. | "Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (In proceedings) |
| Kohlenbach U. et al. | "Asymptotically nonexpansive mappings in uniformly convex hyperbolic..." (Article) |
| Kohlenbach U. | "On the logical analysis of proofs based on nonseparable Hilbert space..." (In proceedings) |
| Otto M. | "Highly acyclic groups, hypergraph covers and the guarded fragment" (In proceedings) |
| Safarik P. et al. | "On the computational content of the Bolzano-Weierstrass principle" (Article) |
| 2009 | |
| Blumensath A. et al. | "Boundedness of monadic second-order formulae over finite words" (In proceedings) |
| Briseid E.M. | "Logical Aspects of Rates of Convergence in Metric Spaces" (Article) |
| Dawar A. et al. | "Modal Characterisation Theorems over Special Classes of Frames" (Article) |
| Kartzow A. | "FO Model Checking on Nested Pushdown Trees" (In proceedings) |
| Keimel K. et al. | "-completions and the -topology" (Article) |
| Keimel K. et al. | "A Minkowksi Type Duality Mediating Between State and Predicate..." (Article) |
| Keimel K. | "Abstract ordered compact convex sets and the algebras of the..." (Article) |
| Keimel K. | "Abstract ordered compact convex sets and the algebras of the..." (Article) |
| Keimel K. | "Bicontinuous domains and some old problems in domain theory" (Article) |
| Keimel K. et al. | "Extending algebraic operations to D-completions" (Article) |
| Keimel K. et al. | "Predicate transformers for convex powerdomains" (Article) |
| Kohlenbach U. et al. | "A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (Article) |
| Kreuzer A.P. et al. | "Ramsey's theorem for pairs and provably recursive functions" (Article) |
| Otto M. | "Avoiding incidental homomorphisms into guarded covers" (Technical report) |
| Streicher T. | "Forcing for IZF in Sheaf Toposes" (Article) |
| Tix R. et al. | "Semantic Domains for Combining Probability and Non-determinism..." (Article) |
| 2008 | |
| Blumensath A. | "On the structure of graphs in the Caucal hierarchy" (Article) |
| Blumensath A. | "Simple Monadic Theories" (PhD thesis) |
| Briseid E.M. | "Fixed Points of Generalized Contractive Mappings" (Article) |
| Gerhardy P. et al. | "General logical metatheorems for functional analysis" (Article) |
| Keimel K. | "The Monad of Probability Measures over Compact Ordered Spaces and its..." (Article) |
| Keimel K. | "Topological Cones: Functional Analysis in a..." (Article) |
| Kohlenbach U. | "Applied Proof Theory: Proof Interpretations and their Use in..." (Book) |
| Kohlenbach U. | "Effective bounds from proofs in abstract functional analysis" (In a collection) |
| Kohlenbach U. | "Goedel's functional interpretation and its use in current mathematics" (In a collection) |
| Kohlenbach U. | "Herbrand's theorem and extractive proof theory" (Article) |
| Kohlenbach U. | "Interview on the Philosophy of Mathematics" (In a collection) |
| Oliva P. et al. | "On Krivine's realizability interpretation of classical second-order..." (Article) |
| Otto M. et al. | "A Lindstrom characterisation of the guarded fragment and of modal l..." (In proceedings) |
| 2007 | |
| Awodey S. et al. | "Relating first-order set theories and elementary toposes" (Article) |
| Blumensath A. et al. | "Logical theories and compatible operations" (In a collection) |
| Briseid E.M. | "A Rate of Convergence for Asymptotic Contractions" (Article) |
| Briseid E.M. | "Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (Article) |
| Briseid E.M. | "Some Results on Kirk's Asymptotic Contractions" (Article) |
| Kohlenbach U. et al. | "Approximate fixed points of nonexpansive functions in product spaces" (Article) |
| Kohlenbach U. | "Proof interpretations and the computational content of proofs in..." (Article) |
| Kreutzer S. et al. | "Boundedness of monadic FO over acyclic structures" (In proceedings) |
| Leuştean L. | "A quadratic rate of asymptotic regularity in CAT(0)-spaces" (Article) |
| Leuştean L. | "Rates of asymptotic regularity for Halpern iterations of nonexpansive..." (Article) |
| Streicher T. et al. | "Shoenfield is Goedel after Krivine" (Article) |
| 2006 | |
| Abbes S. et al. | "Projective topology on bifinite domains and applications" (Article) |
| Blumensath A. | "A Model Theoretic Characterisation of Clique-Width" (Article) |
| Blumensath A. et al. | "Recognizability, Hypergraph Operations, and Logical Types" (Article) |
| Cohen B. et al. | "The extended probabilistic power domain monad over stably compact..." (In proceedings) |
| Gerhardy P. | "A quantitative version of Kirk's fixed point theorem for asymptotic..." (Article) |
| Gerhardy P. et al. | "Strongly uniform bounds from semi-constructive proofs" (Article) |
| Goranko V. et al. | "Model Theory of Modal Logic" (In a collection) |
| Gruenhage G. et al. | "Quotients of countably based spaces are not closed under sobrification." (Article) |
| Hofmann M. et al. | "Well-foundedness in realizability" (Article) |
| Keimel K. | "Topological cones: Foundations for a domain theoretical semantics..." (Article) |
| Kohlenbach U. | "A logical uniform boundedness principle for abstract metric and..." (Article) |
| Kohlenbach U. et al. | "Approximate fixed points of nonexpansive functions in product spaces" (In proceedings) |
| Löw T. et al. | "Universality Results for Models in Locally Boolean Domains" (In proceedings) |
| Leuştean L. | "Baer extensions of BL-algebras" (Article) |
| Leuştean L. | "Proof mining in -trees and hyperbolic spaces" (Article) |
| Otto M. | "Bisimulation invariance and finite models" (In a collection) |
| Otto M. | "The boundedness problem for monadic universal first-order logic" (In proceedings) |
| Streicher T. | "Domain-theoretic Foundations of Functional Programming" (Book) |
| 2005 | |
| Blumensath A. et al. | "An Extension to Muchnik's Theorem" (Article) |
| Dawar A. et al. | "Modal characterisation theorems over special classes of frames" (In proceedings) |
| Georgescu G. et al. | "Pseudo-hoops" (Article) |
| Gerhardy P. et al. | "Extracting Herbrand Disjuntions by Functional Interpretation" (Article) |
| Gerhardy P. et al. | "General Logical Metatheorems for Functional Analysis" (Article) |
| Gerhardy P. | "The Role of Quantifier Alternations in Cut Elimination" (Article) |
| Hernest M.D. et al. | "A Complexity Analysis of Functional Interpretations" (Article) |
| Keimel K. et al. | "Measure extension theorems for -spaces" (Article) |
| Kieronski E. et al. | "Small substructures and decidability issues for two-variable..." (In proceedings) |
| Kohlenbach U. et al. | "Approximate fixed point property in product spaces (abstract)" ('Miscellaneous document') |
| Kohlenbach U. | "Higher order reverse mathematics" (In a collection) |
| Kohlenbach U. | "Proof Interpretations and the Computational Content of Proofs" ('Miscellaneous document') |
| Kohlenbach U. | "Proof mining in functional analysis (abstract)" (In proceedings) |
| Kohlenbach U. | "Some Logical Metatheorems with Applications in Functional Analysis" (Article) |
| Kohlenbach U. | "Some computational aspects of metric fixed point theory" (Article) |
| Leuştean L. | "Sheaf representations of BL-algebras" (Article) |
| Reus B. et al. | "About Hoare logics for higher-order store" (In proceedings) |
| Streicher T. | "Universes in Toposes" (In a collection) |
| Wille A.M. | "A Gentzen system for involutive residuated lattices" (Article) |
| 2004 | |
| Akama Y. et al. | "An arithmetical hierarchy of the law of excluded middle and related..." (In proceedings) |
| Alvarez Manilla M. et al. | "Valuations and measures on stably compact spaces" (Article) |
| Barbălată C. et al. | "Average monthly liquid flow forecasting using neural networks" ('Miscellaneous document') |
| Blumensath A. | "Axiomatising tree-interpretable structures" (Article) |
| Blumensath A. et al. | "Finite Presentations of Infinite Structures: Automata and..." (Article) |
| Bunge M. et al. | "Definable Completeness" (Article) |
| Burmeister P. | "Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (In a collection) |
| Burmeister P. | "Galois Connections for Partial Algebras" (In a collection) |
| Escardó M. et al. | "On the non-sequential nature of the interval-domain model of..." (Article) |
| Keimel K. et al. | "Order environments of topological spaces" (Article) |
| Keimel K. | "The probabilistic powerdomain for the upwards topology of a compact..." (Article) |
| Kohlenbach U. et al. | "Bounds on iterations of asymptotically quasi-non-expansive mappings" (In proceedings) |
| Leuştean L. | "Representations of many-valued algebras" ('Miscellaneous document') |
| Otto M. | "Elementary proof of the van Benthem-Rosen characterisation theorem" (Technical report) |
| Otto M. | "Modal and guarded characterisation theorems over finite transition..." (Article) |
| Reus B. et al. | "Semantics and logic of object calculi" (Article) |
| Wille A.M. | "The variety of lattice-ordered monoids generated by the natural numbers" (Article) |
| 2003 | |
| Bénabou J. et al. | "Partial Toposes" (Article) |
| Blumensath A. | "Axiomatising Tree-Interpretable Structures" (In proceedings) |
| Blumensath A. | "Structures of Bounded Partition Width" (PhD thesis) |
| Di Nola A. et al. | "Compact representations of BL-algebras" (Article) |
| Gerhardy P. | "Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" ('Miscellaneous document') |
| Gerhardy P. | "Refined Complexity Analysis of Cut Elimination" (In proceedings) |
| Gierz G. et al. | "Continuous Lattices and Domains" (Book) |
| Hodkinson I. et al. | "Finite conformal hypergraph covers and Gaifman cliques in finite..." (Article) |
| Kohlenbach U. et al. | "Mann iterates of directionally nonexpansive mappings in hyperbolic..." (Article) |
| Kohlenbach U. et al. | "Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (Article) |
| Kohlenbach U. et al. | "Proof mining in L-approximation" (Article) |
| Kohlenbach U. | "Uniform asymptotic regularity for Mann iterates" (Article) |
| Leuştean L. et al. | "Certifying Kalman Filters" (Technical report) |
| Leuştean L. | "The prime and maximal spectra and the reticulation of BL-algebras" (Article) |
| Roşu G. et al. | "Certifying optimality of state estimation programs" (In proceedings) |
| 2002 | |
| Berwanger D. et al. | "Automata for Guarded Fixed Point Logics" (In a collection) |
| Berwanger D. et al. | "The Monadic Theory of Tree-like Structures" (In a collection) |
| Blumensath A. et al. | "Finite Presentations of Infinite Structures: Automata and..." (In proceedings) |
| Bunge M. et al. | "The Michael completion of a topos spread" (Article) |
| Escardó M. et al. | "In domain realizability, not all functionals on ..." (Article) |
| Georgescu G. et al. | "Some classes of pseudo-BL algebras" (Article) |
| Grädel E. et al. | "Back and forth between guarded and modal logics" (Article) |
| Hofmann M. et al. | "Completeness of continuation models for..." (Article) |
| Kohlenbach U. | "Applied foundations: proof mining in analysis" (Article) |
| Kohlenbach U. | "Foundational and mathematical uses of higher types" (In a collection) |
| Kohlenbach U. | "On uniform weak König's lemma" (Article) |
| Kohlenbach U. | "On weak Markov's principle" (Article) |
| Leuştean L. | "Canonical models and filtrations in three-valued propositional modal..." (Article) |
| Leuştean L. | "Liquid flow time series prediction using feed-forward neural networks..." (Article) |
| Lietz P. et al. | "Impredicativity entails untypedness" (Article) |
| Otto M. | "Modal and guarded characterisation theorems over finite transition..." (In proceedings) |
| 2001 | |
| Blumensath A. | "Prefix-Recognisable Graphs and Monadic Second-Order Logic" (Technical report) |
| Kohlenbach U. | "A note on Spector's quantifier-free rule of extensionality" (Article) |
| Kohlenbach U. | "A quantitative version of a theorem due to Borwein-Reich-Shafrir" (Article) |
| Kohlenbach U. | "Intuitionistic choice and restricted classical logic" (Article) |
| Kohlenbach U. | "On the computational content of the Krasnoselski and Ishikawa fixed..." (In proceedings) |
| Leuştean L. | "Liquid flow time series prediction using feed-forward neural networks..." (Article) |
| Neven F. et al. | "Adding FOR-loops to first-order logic" (Article) |
| Otto M. | "Two-variable first-order logic over ordered domains" (Article) |
| 2000 | |
| Barbălată C. et al. | "Applications of feed-forward neural networks to ecological phenomena..." (In proceedings) |
| Blumensath A. et al. | "Automatic Structures" (In proceedings) |
| Blumensath A. | "Bounded Arithmetic and Descriptive Complexity" (In proceedings) |
| Bunge M. et al. | "Distribution algebras and duality" (Article) |
| Di Nola A. et al. | "Boolean products of BL-algebras" (Article) |
| Grädel E. et al. | "Back and forth between guarded and modal logics" (In proceedings) |
| Huth M. et al. | "Linear types, approximation, and topology" (Article) |
| Kohlenbach U. | "Things that can and things that can't be done in PRA" (Article) |
| Leuştean L. | "Some algebraic properties of non-commutative fuzzy structures" (Article) |
| Otto M. | "An interpolation theorem" (Article) |
| Otto M. | "Epsilon-logic is more expressive than first-order logic over finite..." (Article) |
| Pribeanu C. et al. | "Consistence evaluation of a man-machine interaction language using..." (Article) |
| 1999 | |
| Blumensath A. | "Automatic Structures" (PhD thesis) |
| Escardó M. et al. | "Induction and recursion on the partial real line with applications to..." (Article) |
| Grädel E. et al. | "On logics with two variables" (Article) |
| Grädel E. et al. | "Undecidability results for two-variable logics" (Article) |
| Hoogland E. et al. | "Beth definability for the guarded fragment" (In proceedings) |
| Keimel K. et al. | "Compact continuous L-domains" (Article) |
| Kohlenbach U. | "A note on Goodman's theorem" (Article) |
| Kohlenbach U. | "On the no-counterexample interpretation" (Article) |
| Kohlenbach U. | "The use of a logical principle of uniform boundedness in analysis" (In proceedings) |
| Marz M. et al. | "Full abstraction and universality via realisability" (In proceedings) |
| Neven F. et al. | "Adding FOR-loops to first-order logic" (In proceedings) |
| Otto M. | "Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (Article) |
| Otto M. | "Bounded-variable logics: two, three, and more" (Article) |
| Otto M. | "Eliminating recursion in the mu-calculus" (In proceedings) |
| Reus B. et al. | "General synthetic domain theory---a logical approach." (Article) |
| Streicher T. | "Denotational completness revisited" (Article) |
| Streicher T. | "Inductive construction of repletion" (Article) |
| 1998 | |
| Erker T. et al. | "The way-below relation of function spaces over semantic domains" (Article) |
| Hofmann M. et al. | "The groupoid interpretation of type theory" (In a collection) |
| Keimel K. | "Bi-continuous valuations" (Article) |
| Kohlenbach U. | "Arithmetizing proofs in analysis" (In proceedings) |
| Kohlenbach U. | "Elimination of Skolem functions for monotone formulas in analysis" (Article) |
| Kohlenbach U. | "On the arithmetical content of restricted forms of comprehension,..." (Article) |
| Kohlenbach U. | "Proof theory and computational analysis" (Article) |
| Kohlenbach U. | "Relative constructivity" (Article) |
| Kolaitis P. et al. | "On the boundedness problem for two-variable first-order logic" (In proceedings) |
| Reus B. et al. | "Classical logic, continuation semantics and abstract machines" (Article) |
| 1997 | |
| Otto M. | "Bounded variable logics and counting -- A study in finite models" (Book) |
| Otto M. | "Canonization for two variables and puzzles on the square" (Article) |
| Otto M. | "Capturing bisimulation-invariant Ptime" (In proceedings) |
| Otto M. | "The logic of explicitly representation-invariant circuits" (Article) |
| Reus B. et al. | "General synthetic domain theory---a logical approach (extended..." (In proceedings) |
| 1996 | |
| Altenkirch T. et al. | "Reduction-free normalisation for a polymorphic system" (In proceedings) |
| Kohlenbach U. | "Analysing proofs in analysis" (In proceedings) |
| Kohlenbach U. | "Mathematically strong subystems of analysis with low rate of growth of..." (Article) |
| Otto M. et al. | "First-order queries on databases embedded in an infinite structure" (Article) |
| Otto M. | "The expressive power of fixed-point logic with counting" (Article) |
| 1995 | |
| Altenkirch T. et al. | "Categorical reconstruction of a reduction free normalization proof." (In proceedings) |
| Keimel K. | "Some trends in lattice-ordered groups and rings" (In proceedings) |
| Kohlenbach U. | "A note on the " (Article) |
| Otto M. | "Note on the number of monadic quantifiers in monadic " (Article) |
| Otto M. | "Ptime canonization for two variables with counting" (In proceedings) |
| 1994 | |
| Mück A. et al. | "A tiny constraint functional logic language and its continuation..." (In proceedings) |
| Otto M. | "Generalized quantifiers for simple properties" (In proceedings) |
| Streicher T. | "A universality theorem for PCF with recursive types, parallel-or and..." (Article) |
| 1993 | |
| Kohlenbach U. | "Effective moduli from ineffective uniqueness proofs. An unwinding o..." (Article) |
| Kohlenbach U. | "New effective moduli of uniqueness and uniform a-priori estimates for..." (Article) |
| 1992 | |
| Broy M. et al. | "Modular functional modelling of Petri nets with individual tokens." (In proceedings) |
| Keimel K. et al. | "Ordered Cones and Approximation" (Book) |
| Kohlenbach U. | "Effective bounds from ineffective proofs in analysis: an applicatio..." (Article) |
| Kohlenbach U. | "Pointwise hereditary majorization and some applications" (Article) |
| Kohlenbach U. | "Remarks on Herbrand normal forms and Herbrand Realizations" (Article) |
| Otto M. | "Automorphism properties of stationary logic" (Article) |
| Otto M. | "EM functors for a class of generalized quantifiers" (Article) |
| Streicher T. | "Dependence and independence results for (impredicative) calculi of..." (Article) |
| Streicher T. | "Independence of the induction principle and the axiom of choice in the..." (Article) |
| 1991 | |
| Broy M. et al. | "Specification and design of shared resource arbitration." (Article) |
| Jacobs B. et al. | "Relating models of impredicative type theories." (In proceedings) |
| Streicher T. | "Semantics of Type Theory" (Book) |
| 1989 | |
| Streicher T. | "Independence results for calculi of dependent types." (In proceedings) |
| 1987 | |
| Broy M. et al. | "Views of distributed systems." (In proceedings) |
| Otto M. | "A reduction scheme for phase spaces with almost-Kähler symmetry -..." (Article) |
|
Bibliography | ||||
| PREV NEXT | FRAMES NO FRAME | ||||
This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)