|
Search the dblp DataBase
Wolfgang Degen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wolfgang Degen, Barbara Heller, Heinrich Herre, Barry Smith
GOL: toward an axiomatized upper-level ontology. [Citation Graph (0, 0)][DBLP] FOIS, 2001, pp:34-46 [Conf]
- Wolfgang Degen
Factors of Functions, AC and Recursive Analogues. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2002, v:48, n:1, pp:73-86 [Journal]
- Wolfgang Degen
Pigeonhole and Choice Principles. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:3, pp:313-334 [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:197-204 [Journal]
- Wolfgang Degen, Jan Johannsen
Cumulative Higher-Order Logic as a Foundation for Set Theory. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2000, v:46, n:2, pp:147-170 [Journal]
Search in 0.001secs, Finished in 0.001secs
|