FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Dr. Wolfgang Degen
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 10 (Systemsimulation)
Project Leads
(1)
Publications
(14)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Rigid unary functions and the axiom of choice (2001)
Degen W
Journal article
GOL: A general ontological language (2001)
Degen W, Heller B, Herre H, Smith B
Conference contribution, Conference Contribution
Pigeonhole and choice principles (2000)
Degen W
Journal article, Original article
Cumulative higher-order logic as a foundation for set theory (2000)
Degen W, Johannsen J
Journal article, Original article
‹
1
2
›