-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
W
- Way
- in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
- Way-below
- in: Erker T., Escardo M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998)
- Weak
- in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
- in: Kohlenbach U.
"Gödel functional interpretation and weak compactness" (2012)
- in: Kohlenbach U.
"On uniform weak König's lemma" (2002)
- in: Kohlenbach U.
"On weak Markov's principle" (2002)
- in: Kreuzer A.P.
"On the strength of weak compactness." (2012)
- Well-foundedness
- in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006)
- Weyer M.
- in: Blumensath A., Otto M. and Weyer M.
"Decidability results for the boundedness problem" (2014)
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009)
- What
- in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008)
- Whittle J.
- in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
- Width
- in: Blumensath A.
"Structures of Bounded Partition Width" (2003)
- Wilke T.
- 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)
- in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007)
- Wille R.
- in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995)
- Wille A.M.
- in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)
- in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)
- Wismath S.L.
- in: Burmeister P.
"Galois Connections for Partial Algebras" (2004)
- With
- in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012)
- in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012)
- in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992)
- in: Escardó M. and Streicher T.
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
- in: Grädel E. and Otto M.
"On logics with two variables" (1999)
- 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)
- in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999)
- in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012)
- in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005)
- in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
- in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
- in: Otto M.
"The expressive power of fixed-point logic with counting" (1996)
- in: Otto M.
"Ptime canonization for two variables with counting" (1995)
- in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)
- in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
- in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and $\exists $. " (1994)
- in: Ziegler M.
"Real Computation with Least Discrete Advice" (2012)
- Without
- in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014)
- Wittmann
- in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
- Wolter F.
- in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006)
- Words
- in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009)
- Workshop
- in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)
- in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003)
- in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
- in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
- World
- in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006)
-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&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)