-

-

• in: Kohlenbach U.
  "Herbrand's theorem and extractive proof theory" (2008)
• in: Leuştean L.
  "Sheaf representations of BL-algebras" (2005)
• in: Otto M.
  "A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)

---

in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016) 

in: Keimel K. and Lawson J.D.
"$D$-completions and the $d$-topology" (2009) 

et al.

in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) 

in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) 

et al.

in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) 

in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) 

--

in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997) 

Submit a bug

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