• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition

Universität des Saarlandes
Fachbereich Informatik

Follow
News Feed

Department Affiliates

  • Regular faculty
  • 1
    Other faculty
  • Retired faculty
  • Graduate students
  • Undergraduates
  • Alumni
  • Other

Department Activity

  •  News and Updates
  •  Publications
 More details

Details

Also at Universität des Saarlandes

  • Department of Philosophy
  • All departments
  • Other departments

Department Affiliates

  • Regular faculty
  • 1
    Other faculty
  • Retired faculty
  • Graduate students
  • Undergraduates
  • Alumni
  • Other

Department Activity

  •  News and Updates
  •  Publications

Also at Universität des Saarlandes

  • Department of Philosophy
  • All departments
  • Other departments
  • Christoph Benzmueller, Matt Bishop, and Volker Sorge, Integrating TPS and OMEGA
    Journal of Universal Computer Science 5 (3): 188-207. 1999.
    Photo of Christoph Benzmueller
  • David Fuenmayor and Christoph Benzmueller, A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument
    Photo of Christoph Benzmueller
  • Christoph Benzmueller and Dana Scott, Axiomatizing Category Theory in Free Logic
    Photo of Dana Scott Photo of Christoph Benzmueller
  • Prev.
  • 1
  • 2
  • Next

Details

PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback