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

Other Links

• NILOG (an alternative logic with 3 negations).

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

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