Search the dblp DataBase
Christian Rüede :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christian Rüede Universes in metapredicative analysis. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2003, v:42, n:2, pp:129-151 [Journal ] Christian Rüede The proof-theoretic analysis of Sigma1 1 transfinite dependent choice. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:195-234 [Journal ] Christian Rüede Transfinite Dependent Choice and omega-Model Reflection. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:3, pp:1153-1168 [Journal ] Christian Rüede , Thomas Strahm Intuitionistic Fixed Point Theories for Strictly Positive Operators. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:2, pp:195-202 [Journal ] Search in 0.002secs, Finished in 0.002secs