
Search the dblp DataBase
Wolfgang Degen:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith
GOL: toward an axiomatized upperlevel ontology. [Citation Graph (0, 0)][DBLP] FOIS, 2001, pp:3446 [Conf]
 Wolfgang Degen
Factors of Functions, AC and Recursive Analogues. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2002, v:48, n:1, pp:7386 [Journal]
 Wolfgang Degen
Pigeonhole and Choice Principles. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:3, pp:313334 [Journal]
 Wolfgang Degen
Rigid Unary Functions and the Axiom of Choice. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2001, v:47, n:2, pp:197204 [Journal]
 Wolfgang Degen, Jan Johannsen
Cumulative HigherOrder Logic as a Foundation for Set Theory. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:2, pp:147170 [Journal]
Search in 0.002secs, Finished in 0.002secs
