List of Research Groups in Logic and Theoretical Computer Science World-wide
Here:
Kobe (Japan)
Kobe University
Faculty of Engineering
Dept. of Computer and Systems Engineering
Foundations of Mathematics and Computer Science
Group of logic, statistics and theoretical computer science
Linear Logic Programming
Proof animation and limit computable mathematics
Set Theory in Kobe
Toshiyasu Arai
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
,
.