Japan Advanced Institute of Science and Technology

Group in Logic

NOTE: Japanese page is here.
Note: This site is under construction. Please check back later for even more information on the JAIST Logic Group.

* Ono Laboratory
* Toyama Laboratory
* Ishihara Laboratory
* Other People on Logic
* Seminars at JAIST
* Research Reports & Theses
* Affiliations
* Visitors
* Preprint Servers
* Conferences
* Mailing Lists
* WWW Information
* JAIST homepage
* School of Information Science homepage
Address:
Group in Logic
c/o Hiroakira Ono
School of Information Science
Japan Advanced Institute of Science and Technology,
Tatsunokucni, Ishikawa 923-12, Japan

Office: I-54
Last modified: 13 March 1997 by Hajime Ishihara (ishihara@jaist.ac.jp).