Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

R

R
Ramsey
Rate
Rates
Real
Realisability
in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) 
Realizability
Realizations
in: Kohlenbach U.
"Remarks on Herbrand normal forms and Herbrand Realizations" (1992) 
Real-number
in: Escardó M., Hofmann M. and Streicher T.
"On the non-sequential nature of the interval-domain model of real-number computation" (2004) 
Recognizability
in: Blumensath A. and Courcelle B.
"Recognizability, Hypergraph Operations, and Logical Types" (2006) 
Reconstruction
in: Altenkirch T., Hofmann M. and Streicher T.
"Categorical reconstruction of a reduction free normalization proof." (1995) 
Recovery
in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014) 
Recursion
Recursive
Reduction
Reduction-free
in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) 
Refined
in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) 
Reflections
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Regularity
Related
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Relation
in: Erker T., Escardo M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) 
Relations
in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013) 
Relative
Remarks
in: Kohlenbach U.
"Remarks on Herbrand normal forms and Herbrand Realizations" (1992) 
Repletion
in: Streicher T.
"Inductive construction of repletion" (1999) 
Report
in: Gerhardy P. and Kohlenbach U.
"General Logical Metatheorems for Functional Analysis" (2005) 
Representation-invariant
in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) 
Representations
Research
Residuated
in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005) 
Resource
in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 
Restricted
Results
Reticulation
in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 
Reus B.
Reverse
Revisited
in: Streicher T.
"Denotational completness revisited" (1999) 
Revista
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
RIACS
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Rings
in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) 
Rohr A.
in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) 
Role
in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) 
Român&
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Romania
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Rosen E.
in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) 
Rosenbusch A.P.
Rösnick C.
Roşu G.
Roth W.
Roy M.F.
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Royal
in: Kohlenbach U. and Leustean L.
"On the computational content of convergence proofs via Banach limitd." (2012) 
Rprop
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001) 
Rule
Russian
in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009) 
RWTH

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