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

Århus, Danmark (other spellings: Arhus, Aarhus)

• University of Århus
  • Faculty of Science
    • Department of Computer Science
• BRICS (Basic Research in Computer Science)
  • Paulo Oliva

  • Brics Theme: Proof theory and Complexity
    • Workshop Proof Theory and Complexity

• 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/arhus.html | Anton Setzer,

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