Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

C

Completness
in: Streicher T.
"Denotational completness revisited" (1999) 
Complexity
Comprehension
in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) 
Comput
Computability
Computable
in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) 
Computation
Computational
Computations
in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 
Computer
Computers
in: Keimel K. and Liang J.H.
"Compact continuous L-domains" (1999) 
Conceptions
in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) 
Cones
Conf
Conference
Conformal
in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) 
Congress
in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 
Connectionist
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Connections
Consistence
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Constants
in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993) 
Constraint
in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) 
Construction
in: Streicher T.
"Inductive construction of repletion" (1999) 
Constructions
in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992) 
Constructive
Constructivity
in: Kohlenbach U.
"Relative constructivity" (1998) 
Contemporary
in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) 
Content
Continuation
Continuity
Continuous
Contractions
Contractive
in: Briseid E.M.
"Fixed Points of Generalized Contractive Mappings" (2008) 
Control
Convergence
Convex
Cooper S.B.
in: Cohen B., Escardo M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) 
Cooper B.
in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) 
Cooper S.B.
in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) 
Coquand T.
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Correctness
in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011) 
Countable
in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) 
Countably
in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) 
Courcelle B.
in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) 
Coverings
Covers
Crivelli
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) 
Crosilla L.
in: Streicher T.
"Universes in Toposes" (2005) 
Cross
in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 
CSL
CTCS
Current
Cut

-&-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!