Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

P

Pairs
Paper
in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007) 
Papers
Paradigms
in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) 
Parallelism
in: Broy M. and Streicher T.
"Views of distributed systems." (1987) 
Parallel-or
in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and . " (1994) 
Partial
Partition
in: Blumensath A.
"Structures of Bounded Partition Width" (2003) 
Pauly A.
in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013) 
PCF
Pebble
Personal
in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) 
Perspective
in: Streicher T.
"Krivine's Classical Realizability from a Categorical Perspective" (2013) 
Perspectives
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
Peters
Petri
Phase
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 
Phenomena
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Philosophical
in: Kohlenbach U. and Leustean L.
"On the computational content of convergence proofs via Banach limitd." (2012) 
Philosophy
Physics
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 

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