List of Research Groups in Logic and Theoretical Computer Science World-wide

Wien (Vienna, Vienne, Vien)

• University of Vienna
  • Formal- und Naturwissenschaftlichen Fakultät (Faculty of Science and Technology)
    • Institut for Logic
      • Sy Friedman
• Technische Universität Wien
  • Logic at the Technical University of Vienna

  • Technisch Naturwissenschaftliche Fakultät
    • Mathematics at the TU Wien
      • Institute for algebra and computational mathematics
        • Division for theoretical computer science
    • Computer Science Department
      • Institut für Computersprachen
        • Abteilung für Anwendungen der Formalen Logik
          • Group for multiple-valued logic
            • Matthias Baaz,
            • Christian G. Fermüller,
            • Gernot Salzer
            • Richard Zach.
          • Many-valued Logics for Computer Science
        • FWF Project automated model building with equality
• Home Page of the Kurt Gödel Society

• back to table of contents for Logic Servers Worldwide
• back to Theoretical Computer Science at Swansea
• back to Computer Science at Swansea

Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Oct 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/wien.html | Anton Setzer,

• University of Wales Swansea
  • Department of Computer Science
    • Theoretical Computer Science