Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ

C

Cambridge
Can
in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) 
Canonical
in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) 
Canonization
Carlo
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) 
Casari E.
in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 
CAT
Cate (ten) B.
Categorical
Categories
Caucal
in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008) 
Cauchy
in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) 
CAV
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Cegielski P.
in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) 
Centenary
in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) 
Center
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Central
in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 
Century
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) 
Chain
in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) 
Characterisation
Chatzidakis Z.
in: Otto M.
"Bisimulation invariance and finite models" (2006) 
Chebycheff
in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) 
Choice
Choquet-Kendall-Matheron
in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) 
CiAD
in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2002) 
CiE
Circuits
in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) 
Class
Classes
Classical
Cliques
in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) 
Clique-Width
in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006) 
Clopen
in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) 
Closed
in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) 
CO
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Cohen B.
in: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) 
Cohesive
in: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraà principle." (2011) 
Colcombet T.
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
Collapsible
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
College
in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 
Colloquium
Communications
in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) 
Comp
in: Hofmann M. and Streicher T.
"Completeness of continuation models for λμ-calculus" (2002) 
Compact
Compactness
Compatible
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
Complete
in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 
Completeness
Completion
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
 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!