Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Hierarchical list by entry type

- Documents
+- Articles
|+ [ABS+07] Awodey S. et al., "Relating first-order set theories and..." (2007)
|+ [ABS+14] Awodey S. et al., "Relating first-order set theories,..." (2014)
|+ [AK+06] Abbes S. et al., "Projective topology on bifinite domains..." (2006)
|+ [Zie12] Ziegler M., "Real Computation with Least Discrete..." (2012)
|+ [BFJ+00] Bunge M. et al., "Distribution algebras and duality" (2000)
|+ [BFJ+02] Bunge M. et al., "The Michael completion of a topos spread" (2002)
|+ [BFJ+04] Bunge M. et al., "Definable Completeness" (2004)
|+ [BGO+14] Barany V. et al., "Querying the guarded fragment" (2014)
|+ [BS+03] Bénabou J. et al., "Partial Toposes" (2003)
|+ [BBS+12] Berg (van den) B. et al., "A functional interpretation for..." (2012)
|+ [Blu04] Blumensath A., "Axiomatising tree-interpretable..." (2004)
|+ [Blu06] Blumensath A., "A Model Theoretic Characterisation of..." (2006)
|+ [Blu08] Blumensath A., "On the structure of graphs in the Caucal..." (2008)
|+ [BC+06] Blumensath A. et al., "Recognizability, Hypergraph Operations,..." (2006)
|+ [BG+04] Blumensath A. et al., "Finite Presentations of Infinite..." (2004)
|+ [BK+05] Blumensath A. et al., "An Extension to Muchnik's Theorem" (2005)
|+ [BOW+14] Blumensath A. et al., "Decidability results for the boundedness..." (2014)
|+ [BS+91] Broy M. et al., "Specification and design of shared..." (1991)
|+ [Bri07] Briseid E.M., "A Rate of Convergence for Asymptotic..." (2007)
|+ [Bri07b] Briseid E.M., "Addendum to the Paper: Some Results on..." (2007)
|+ [Bri07c] Briseid E.M., "Some Results on Kirk's Asymptotic..." (2007)
|+ [Bri08] Briseid E.M., "Fixed Points of Generalized Contractive..." (2008)
|+ [Bri09] Briseid E.M., "Logical Aspects of Rates of Convergence..." (2009)
|+ [Bri10] Briseid E.M., "A New Uniformity for Asymptotic..." (2010)
|+ [DO+09] Dawar A. et al., "Modal Characterisation Theorems over..." (2009)
|+ [DGL+00] Di Nola A. et al., "Boolean products of BL-algebras" (2000)
|+ [DL+03] Di Nola A. et al., "Compact representations of BL-algebras" (2003)
|+ [EHS+04] Escardó M. et al., "On the non-sequential nature of the..." (2004)
|+ [ES+16] Escardó M. et al., "The intrinsic topology of Martin-L&ou..." (2016)
|+ [ES+02] Escardó M. et al., "In domain realizability, not all..." (2002)
|+ [ES+99] Escardó M. et al., "Induction and recursion on the partial..." (1999)
|+ [FKM+13] Fedel M. et al., "Imprecise probabilities, bets, and..." (2013)
|+ [FK+15] Fujiwara M. et al., "Classical provability of uniform vers..." (2015)
|+ [GZ+11] Gärtner T. et al., "Real Analytic Machines and Degrees" (2011)
|+ [Gas13] Gaspar J., "Negative translations not..." (2013)
|+ [GK+10] Gaspar J. et al., "On Tao's finitary infinite pigeonhole..." (2010)
|+ [GL+02] Georgescu G. et al., "Some classes of pseudo-BL algebras" (2002)
|+ [GLP+05] Georgescu G. et al., "Pseudo-hoops" (2005)
|+ [GK+06] Gerhardy P. et al., "Strongly uniform bounds from..." (2006)
|+ [GK+05] Gerhardy P. et al., "Extracting Herbrand Disjuntions by..." (2005)
|+ [GK+05b] Gerhardy P. et al., "General Logical Metatheorems for..." (2005)
|+ [GK+08] Gerhardy P. et al., "General logical metatheorems for..." (2008)
|+ [Ger05] Gerhardy P., "The Role of Quantifier Alternations in..." (2005)
|+ [Ger06] Gerhardy P., "A quantitative version of Kirk's fixed..." (2006)
|+ [GS+06] Gruenhage G. et al., "Quotients of countably based spaces are..." (2006)
|+ [GHO+02] Grädel E. et al., "Back and forth between guarded and modal..." (2002)
|+ [GO+99] Grädel E. et al., "On logics with two variables" (1999)
|+ [GOR+99] Grädel E. et al., "Undecidability results for two-variable..." (1999)
|+ [Gre11] Gregoriades V., "The descriptive set-theoretic complexity..." (2011)
|+ [Gre12] Gregoriades V., "Turning Borel sets into clopen sets..." (2012)
|+ [Gre14] Gregoriades V., "Choice free Fixed Point Property in..." (2014)
|+ [Gre14b] Gregoriades V., "Classes of Polish spaces under effective..." (2014)
|+ [GK+16] Günzel D. et al., "Logical metatheorems for abstract spaces..." (2016)
|+ [HJK+00] Huth M. et al., "Linear types, approximation, and topology" (2000)
|+ [HK+11] Hofmann K.H. et al., "A mathematician's view of an Italian ..." (2011)
|+ [HOS+06] Hofmann M. et al., "Well-foundedness in realizability" (2006)
|+ [HK+05] Hernest M.D. et al., "A Complexity Analysis of Functional..." (2005)
|+ [PZ+13] Pauly A. et al., "Relative Computability and Uniform..." (2013)
|+ [HO+03] Hodkinson I. et al., "Finite conformal hypergraph covers and..." (2003)
|+ [Kei13] Keimel K., "Sheaf Representations of algebraic..." (2013)
|+ [EEK+98] Erker T. et al., "The way-below relation of function sp..." (1998)
|+ [GK+11] Goubault-Larrecq J. et al., "Choquet-Kendall-Matheron theorems for..." (2011)
|+ [HK+13] Heckmann R. et al., "Quasicontinuous domains and the Smyth..." (2013)
|+ [Kei06] Keimel K., "Topological cones: Foundations for a..." (2006)
|+ [Kei08b] Keimel K., "Topological Cones: Functional Analysi..." (2008)
|+ [Kei08] Keimel K., "The Monad of Probability Measures over..." (2008)
|+ [KL+09] Keimel K. et al., "D-completions and the..." (2009)
|+ [KL+12] Keimel K. et al., "Extending algebraic operations to..." (2012)
|+ [KL+09b] Keimel K. et al., "Extending algebraic operations to..." (2009)
|+ [KP+09] Keimel K. et al., "Predicate transformers for convex..." (2009)
|+ [KRS+09] Keimel K. et al., "A Minkowksi Type Duality Mediating..." (2009)
|+ [KRS+11] Keimel K. et al., "Relating Direct and Predicate Transfo..." (2011)
|+ [Kei04] Keimel K., "The probabilistic powerdomain for the..." (2004)
|+ [Kei09c] Keimel K., "Bicontinuous domains and some old..." (2009)
|+ [Kei09] Keimel K., "Abstract ordered compact convex sets and..." (2009)
|+ [Kei09b] Keimel K., "Abstract ordered compact convex sets and..." (2009)
|+ [Kei12] Keimel K., "Locally convex cones and the..." (2012)
|+ [Kei98] Keimel K., "Bi-continuous valuations" (1998)
|+ [KL+99] Keimel K. et al., "Compact continuous L-domains" (1999)
|+ [KL+05] Keimel K. et al., "Measure extension theorems for..." (2005)
|+ [KL+04] Keimel K. et al., "Order environments of topological spaces" (2004)
|+ [KK+13] Khan M.A.A. et al., "Bounds on Kuhfittig's iteration schem..." (2013)
|+ [KK+14b] Khan M.A.A. et al., "Quantitative image recovery theorems" (2014)
|+ [KO+12] Kieronski E. et al., "Small substructures and decidability..." (2012)
|+ [KK+11] Körnlein D. et al., "Effective rates of convergence for..." (2011)
|+ [KK+14] Körnlein D. et al., "Rate of metastability for Bruck's..." (2014)
|+ [Koh00] Kohlenbach U., "Things that can and things that can't be..." (2000)
|+ [Koh01b] Kohlenbach U., "A quantitative version of a theorem due..." (2001)
|+ [Koh01c] Kohlenbach U., "Intuitionistic choice and restricted..." (2001)
|+ [Koh01] Kohlenbach U., "A note on Spector's quantifier-free rule..." (2001)
|+ [Koh02d] Kohlenbach U., "On weak Markov's principle" (2002)
|+ [Koh02] Kohlenbach U., "Applied foundations: proof mining in..." (2002)
|+ [Koh02c] Kohlenbach U., "On uniform weak König's lemma" (2002)
|+ [Koh03] Kohlenbach U., "Uniform asymptotic regularity for Mann..." (2003)
|+ [Koh05d] Kohlenbach U., "Some Logical Metatheorems with..." (2005)
|+ [Koh05e] Kohlenbach U., "Some computational aspects of metric..." (2005)
|+ [Koh07] Kohlenbach U., "Proof interpretations and the..." (2007)
|+ [Koh08d] Kohlenbach U., "Herbrand's theorem and extractive proof..." (2008)
|+ [Koh11d] Kohlenbach U., "On the asymptotic behavior of odd..." (2011)
|+ [Koh12] Kohlenbach U., "A uniform quantitative form of sequen..." (2012)
|+ [Koh12b] Kohlenbach U., "Gödel functional interpretation and..." (2012)
|+ [Koh11] Kohlenbach U., "A note on the monotone functional..." (2011)
|+ [Koh11c] Kohlenbach U., "On quantitative versions of theorems due..." (2011)
|+ [Koh15] Kohlenbach U., "On the disjunctive Markov principle" (2015)
|+ [Koh16] Kohlenbach U., "On the quantitative asymptotic behavior..." (2016)
|+ [Koh92c] Kohlenbach U., "Remarks on Herbrand normal forms and..." (1992)
|+ [Koh92b] Kohlenbach U., "Pointwise hereditary majorization and..." (1992)
|+ [Koh92] Kohlenbach U., "Effective bounds from ineffective proofs..." (1992)
|+ [Koh93] Kohlenbach U., "Effective moduli from ineffective..." (1993)
|+ [Koh93b] Kohlenbach U., "New effective moduli of uniqueness and..." (1993)
|+ [Koh95] Kohlenbach U., "A note on the Π" (1995)
|+ [Koh96b] Kohlenbach U., "Mathematically strong subystems of..." (1996)
|+ [Koh98c] Kohlenbach U., "On the arithmetical content of restri..." (1998)
|+ [Koh98e] Kohlenbach U., "Relative constructivity" (1998)
|+ [Koh98d] Kohlenbach U., "Proof theory and computational analysis" (1998)
|+ [Koh98b] Kohlenbach U., "Elimination of Skolem functions for..." (1998)
|+ [Koh99b] Kohlenbach U., "On the no-counterexample interpretation" (1999)
|+ [Koh99] Kohlenbach U., "A note on Goodman's theorem" (1999)
|+ [KK+09] Kreuzer A. et al., "Ramsey's theorem for pairs and provably..." (2009)
|+ [KK+12] Kreuzer A. et al., "Term extraction and Ramsey's theorem for..." (2012)
|+ [KL+03] Kohlenbach U. et al., "Mann iterates of directionally..." (2003)
|+ [KL+07] Kohlenbach U. et al., "Approximate fixed points of nonexpansive..." (2007)
|+ [KL+10] Kohlenbach U. et al., "Asymptotically nonexpansive mappings in..." (2010)
|+ [KL+09c] Kohlenbach U. et al., "A quantitative Mean Ergodic Theorem for..." (2009)
|+ [KL+12c] Kohlenbach U. et al., "On the computational content of..." (2012)
|+ [KL+12b] Kohlenbach U. et al., "Effective metastability for Halpern..." (2012)
|+ [KL+14] Kohlenbach U. et al., "Addendum to `Effective metastability for..." (2014)
|+ [KO+03b] Kohlenbach U. et al., "Proof mining in..." (2003)
|+ [KO+03] Kohlenbach U. et al., "Proof Mining: A Systematic Way of..." (2003)
|+ [SK+10] Safarik P. et al., "On the computational content of the..." (2010)
|+ [KS+14] Kohlenbach U. et al., "Fluctuations, effective learnability and..." (2014)
|+ [KK+15] Koutsoukou-Argyraki A. et al., "Rates of convergence and metastability..." (2015)
|+ [KK+16] Koutsoukou-Argyraki A. et al., "Effective asymptotic regularity for..." (2016)
|+ [Koh06] Kohlenbach U., "A logical uniform boundedness principle..." (2006)
|+ [Kre11] Kreuzer A.P., "The cohesive principle and the..." (2011)
|+ [Kre12d] Kreuzer A.P., "Primitive recursion and the chain..." (2012)
|+ [Kre12b] Kreuzer A.P., "Non-principal ultrafilters, program..." (2012)
|+ [Kre12] Kreuzer A.P., "A logical analysis of the generalized..." (2012)
|+ [Kre12c] Kreuzer A.P., "On the strength of weak compactness." (2012)
|+ [Leu00] Leuştean L., "Some algebraic properties of..." (2000)
|+ [Leu01] Leuştean L., "Liquid flow time series prediction using..." (2001)
|+ [Leu02] Leuştean L., "Canonical models and filtrations in..." (2002)
|+ [Leu02b] Leuştean L., "Liquid flow time series prediction using..." (2002)
|+ [Leu03] Leuştean L., "The prime and maximal spectra and the..." (2003)
|+ [Leu05] Leuştean L., "Sheaf representations of BL-algebras" (2005)
|+ [Leu06b] Leuştean L., "Proof mining in R-trees and..." (2006)
|+ [Leu06] Leuştean L., "Baer extensions of BL-algebras" (2006)
|+ [Leu07] Leuştean L., "A quadratic rate of asymptotic regula..." (2007)
|+ [Leu07b] Leuştean L., "Rates of asymptotic regularity for..." (2007)
|+ [LS+02] Lietz P. et al., "Impredicativity entails untypedness" (2002)
|+ [LS+12] Lietz P. et al., "Realizability models refuting Ishihara's..." (2012)
|+ [MS+15] Maschio S. et al., "Models of intuitionistic set theory in..." (2015)
|+ [HS+02] Hofmann M. et al., "Completeness of continuation models for..." (2002)
|+ [NOT+01] Neven F. et al., "Adding FOR-loops to first-order logic" (2001)
|+ [KOR+14] Kawamura A. et al., "Computational Complexity of Smooth..." (2014)
|+ [OS+08] Oliva P. et al., "On Krivine's realizability interpreta..." (2008)
|+ [Ott87] Otto M., "A reduction scheme for phase spaces with..." (1987)
|+ [Ott92b] Otto M., "EM functors for a class of generalized..." (1992)
|+ [Ott92] Otto M., "Automorphism properties of stationary..." (1992)
|+ [Ott95] Otto M., "Note on the number of monadic quantif..." (1995)
|+ [Ott96] Otto M., "The expressive power of fixed-point l..." (1996)
|+ [Ott97b] Otto M., "Canonization for two variables and..." (1997)
|+ [Ott97d] Otto M., "The logic of explicitly..." (1997)
|+ [Ott99] Otto M., "Bisimulation-invariant Ptime and..." (1999)
|+ [Ott99b] Otto M., "Bounded-variable logics: two, three, and..." (1999)
|+ [Ott00b] Otto M., "Epsilon-logic is more expressive than..." (2000)
|+ [Ott00] Otto M., "An interpolation theorem" (2000)
|+ [Ott01] Otto M., "Two-variable first-order logic over..." (2001)
|+ [Ott04b] Otto M., "Modal and guarded characterisation..." (2004)
|+ [Ott12] Otto M., "Highly acyclic groups, hypergraph covers..." (2012)
|+ [Ott13b] Otto M., "Expressive completeness through logic..." (2013)
|+ [OV+96] Otto M. et al., "First-order queries on databases embe..." (1996)
|+ [PL+00] Pribeanu C. et al., "Consistence evaluation of a man-machine..." (2000)
|+ [RS+04] Reus B. et al., "Semantics and logic of object calculi" (2004)
|+ [RS+98] Reus B. et al., "Classical logic, continuation semantics..." (1998)
|+ [RS+99] Reus B. et al., "General synthetic domain theory---a..." (1999)
|+ [RS+12] Reus B. et al., "A synthetic theory of sequential domains." (2012)
|+ [Saf12] Safarik P., "A quantitative nonlinear strong ergodic..." (2012)
|+ [SK+12] Schade K. et al., "Effective metastability for modified..." (2012)
|+ [SS+12] Simpson A. et al., "Constructive toposes with countable sums..." (2012)
|+ [Str92] Streicher T., "Dependence and independence results for..." (1992)
|+ [Str92b] Streicher T., "Independence of the induction principle..." (1992)
|+ [Str94] Streicher T., "A universality theorem for PCF with..." (1994)
|+ [Str99] Streicher T., "Denotational completness revisited" (1999)
|+ [Str99b] Streicher T., "Inductive construction of repletion" (1999)
|+ [SK+07] Streicher T. et al., "Shoenfield is Goedel after Krivine" (2007)
|+ [Str09] Streicher T., "Forcing for IZF in Sheaf Toposes" (2009)
|+ [Str13] Streicher T., "Krivine's Classical Realizability from a..." (2013)
|+ [Wil04] Wille A.M., "The variety of lattice-ordered monoids..." (2004)
|+ [Wil05] Wille A.M., "A Gentzen system for involutive..." (2005)
|+ [AJK+04] Alvarez Manilla M. et al., "Valuations and measures on stably com..." (2004)
|\ [TKP+09] Tix R. et al., "Semantic Domains for Combining..." (2009)
+- Books
|+ [GHK+03] Gierz G. et al., "Continuous Lattices and Domains" (2003)
|+ [KR+92] Keimel K. et al., "Ordered Cones and Approximation" (1992)
|+ [Koh08] Kohlenbach U., "Applied Proof Theory: Proof..." (2008)
|+ [Ott97] Otto M., "Bounded variable logics and counting ..." (1997)
|+ [Str06] Streicher T., "Domain-theoretic Foundations of..." (2006)
|\ [Str91] Streicher T., "Semantics of Type Theory" (1991)
+- In a collection
|+ [BB+02b] Berwanger D. et al., "The Monadic Theory of Tree-like..." (2002)
|+ [BB+02] Berwanger D. et al., "Automata for Guarded Fixed Point Logics" (2002)
|+ [BCL+07] Blumensath A. et al., "Logical theories and compatible..." (2007)
|+ [Bur04b] Burmeister P., "Galois Connections for Partial Algebras" (2004)
|+ [Bur04] Burmeister P., "Algebraic Theory of Quasivarieties of..." (2004)
|+ [GO+14] Grädel E. et al., "The freedoms of (guarded) bisimulation" (2014)
|+ [HS+98] Hofmann M. et al., "The groupoid interpretation of type..." (1998)
|+ [Koh02b] Kohlenbach U., "Foundational and mathematical uses of..." (2002)
|+ [Koh05] Kohlenbach U., "Higher order reverse mathematics" (2005)
|+ [Koh08e] Kohlenbach U., "Interview on the Philosophy of..." (2008)
|+ [Koh08c] Kohlenbach U., "Goedel's functional interpretation and..." (2008)
|+ [Koh08b] Kohlenbach U., "Effective bounds from proofs in abstract..." (2008)
|+ [Ott06] Otto M., "Bisimulation invariance and finite models" (2006)
|+ [GO+06] Goranko V. et al., "Model Theory of Modal Logic" (2006)
|+ [Ott11] Otto M., "Model theoretic methods for fragments of..." (2011)
|+ [Ott13] Otto M., "Bisimulation and coverings for graphs..." (2013)
|\ [Str05] Streicher T., "Universes in Toposes" (2005)
+- In proceedings
|+ [AHS+95] Altenkirch T. et al., "Categorical reconstruction of a reduc..." (1995)
|+ [AHS+96] Altenkirch T. et al., "Reduction-free normalisation for a..." (1996)
|+ [BL+00] Barbălată C. et al., "Applications of feed-forward neural..." (2000)
|+ [BGO+10] Barany V. et al., "Querying the guarded fragment" (2010)
|+ [BCO+12] Barany V. et al., "Queries with guarded negation" (2012)
|+ [Blu00] Blumensath A., "Bounded Arithmetic and Descriptive..." (2000)
|+ [Blu03] Blumensath A., "Axiomatising Tree-Interpretable..." (2003)
|+ [BG+00] Blumensath A. et al., "Automatic Structures" (2000)
|+ [BG+02] Blumensath A. et al., "Finite Presentations of Infinite..." (2002)
|+ [BOW+09] Blumensath A. et al., "Boundedness of monadic second-order..." (2009)
|+ [BS+87] Broy M. et al., "Views of distributed systems." (1987)
|+ [BS+92] Broy M. et al., "Modular functional modelling of Petri..." (1992)
|+ [CEK+06] Cohen B. et al., "The extended probabilistic power domain..." (2006)
|+ [ABZ+13] Ambos-Spies K. et al., "Real Benefit of Promises and Advice" (2013)
|+ [HSZ+13] Herrmann C. et al., "Satisfiability of cross product terms is..." (2013)
|+ [DO+05] Dawar A. et al., "Modal characterisation theorems over..." (2005)
|+ [Ger03b] Gerhardy P., "Refined Complexity Analysis of Cut..." (2003)
|+ [GHO+00] Grädel E. et al., "Back and forth between guarded and modal..." (2000)
|+ [GO+12] Grohe M. et al., "Pebble games and linear equations" (2012)
|+ [HMO+99] Hoogland E. et al., "Beth definability for the guarded..." (1999)
|+ [MZ+14] Müller N. et al., "From Calculus to Algorithms without..." (2014)
|+ [JMS+91] Jacobs B. et al., "Relating models of impredicative type..." (1991)
|+ [Kar09] Kartzow A., "FO Model Checking on Nested Pushdown..." (2009)
|+ [Kei12b] Keimel K., "On the equivalence of state transformer..." (2012)
|+ [Kei95] Keimel K., "Some trends in lattice-ordered groups..." (1995)
|+ [KO+05] Kieronski E. et al., "Small substructures and decidability..." (2005)
|+ [Koh01d] Kohlenbach U., "On the computational content of the..." (2001)
|+ [Koh05c] Kohlenbach U., "Proof mining in functional analysis..." (2005)
|+ [Koh10] Kohlenbach U., "On the logical analysis of proofs based..." (2010)
|+ [Koh96] Kohlenbach U., "Analysing proofs in analysis" (1996)
|+ [Koh98] Kohlenbach U., "Arithmetizing proofs in analysis" (1998)
|+ [Koh99c] Kohlenbach U., "The use of a logical principle of uni..." (1999)
|+ [ABH+04] Akama Y. et al., "An arithmetical hierarchy of the law of..." (2004)
|+ [KL+04b] Kohlenbach U. et al., "Bounds on iterations of asymptotically..." (2004)
|+ [KL+06] Kohlenbach U. et al., "Approximate fixed points of nonexpansive..." (2006)
|+ [Koh11b] Kohlenbach U., "Gödel's functional interpretation..." (2011)
|+ [KO+98] Kolaitis P. et al., "On the boundedness problem for..." (1998)
|+ [KOS+07] Kreutzer S. et al., "Boundedness of monadic FO over acyclic..." (2007)
|+ [LS+06] Löw T. et al., "Universality Results for Models in..." (2006)
|+ [RPW+03] Roşu G. et al., "Certifying optimality of state estima..." (2003)
|+ [MRS+99] Marz M. et al., "Full abstraction and universality via..." (1999)
|+ [MSL+94] Mück A. et al., "A tiny constraint functional logic..." (1994)
|+ [NOT+99] Neven F. et al., "Adding FOR-loops to first-order logic" (1999)
|+ [KOR+12] Kawamura A. et al., "Computational Complexity of Smooth..." (2012)
|+ [Ott94] Otto M., "Generalized quantifiers for simple..." (1994)
|+ [Ott95b] Otto M., "Ptime canonization for two variables ..." (1995)
|+ [Ott97c] Otto M., "Capturing bisimulation-invariant Ptime" (1997)
|+ [Ott99c] Otto M., "Eliminating recursion in the mu-calculus" (1999)
|+ [Ott02] Otto M., "Modal and guarded characterisation..." (2002)
|+ [Ott06b] Otto M., "The boundedness problem for monadic..." (2006)
|+ [Ott10] Otto M., "Highly acyclic groups, hypergraph covers..." (2010)
|+ [Ott13c] Otto M., "Groupoids, hypergraphs, and symmetrie..." (2013)
|+ [OP+08] Otto M. et al., "A Lindstrom characterisation of the..." (2008)
|+ [KSZ+14] Kawamura A. et al., "Complexity of Laplace's and Poisson's..." (2014)
|+ [HZ+11] Herrmann C. et al., "Computational Complexity of Quantum..." (2011)
|+ [RS+05] Reus B. et al., "About Hoare logics for higher-order store" (2005)
|+ [RS+97] Reus B. et al., "General synthetic domain theory---a..." (1997)
|+ [RS+11] Reus B. et al., "Relative completeness for logics of..." (2011)
|+ [Str89] Streicher T., "Independence results for calculi of..." (1989)
|\ [Kar10] Kartzow A., "Collapsible Pushdown Graphs of Level 2..." (2010)
+- 'Miscellaneous documents'
|+ [BL+04] Barbălată C. et al., "Average monthly liquid flow forecasting..." (2004)
|+ [Ger03] Gerhardy P., "Improved Complexity Analysis of Cut..." (2003)
|+ [Koh05b] Kohlenbach U., "Proof Interpretations and the..." (2005)
|+ [KL+05b] Kohlenbach U. et al., "Approximate fixed point property in..." (2005)
|\ [Leu04] Leuştean L., "Representations of many-valued algebras" (2004)
+- PhD thesis
|+ [Blu03b] Blumensath A., "Structures of Bounded Partition Width" (2003)
|+ [Blu08b] Blumensath A., "Simple Monadic Theories" (2008)
|\ [Blu99] Blumensath A., "Automatic Structures" (1999)
+- Technical reports
|+ [Blu01] Blumensath A., "Prefix-Recognisable Graphs and Monadic..." (2001)
|+ [LR+03] Leuştean L. et al., "Certifying Kalman Filters" (2003)
|+ [Ott04] Otto M., "Elementary proof of the van Benthem-R..." (2004)
|\ [Ott09] Otto M., "Avoiding incidental homomorphisms into..." (2009)
\- Unpublished
 + [BCO+12b] Barany V. et al., "Queries with guarded negation" (2012)
 + [GO+15] Grohe M. et al., "Pebble games and linear equations" (2015)
 + [Ott12b] Otto M., "On groupoids and hypergraphs" (2012)
 \ [Ott15] Otto M., "Finite groupoids, finite coverings and..." (2015)

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!