| [ JAPANESE | ENGLISH ] | |
Mutsunori Banbara |
 at Melbourne on March 2004 |
|
Dr.(Eng.), Associate Professor Research Division on Computer Software Systems Information Science and Technology Center (ISTC) Kobe University |
 Curriculum Vitæ Publications |
| 1-1, Rokko-dai, Nada, Kobe, Hyogo 657-8501 Japan |
Office: ISTC Building 3rd Floor Phone & Fax: +81-78-803-5365 |
| Bibliography | |
| What's new ! | This page is written in Japanese... |
| Curriculum Vitæ | |
| Publications | |
| Selected Softwares | |
| Prolog Cafe [NEW] | A Prolog-to-Java source-to-source translator system. |
| LLP | A Linear Logic Programming Language and its Compiler System. |
| TLLP | A Temporal Linear Logic Programming Language and its Compiler System. |
| Projects | |
| HECS | HECS means HEterogeneous Constraint Solving. This page is written in Japanese... |
| Link Collections | |
| Linear Logic | |
| Logic Programming | |
| Java Prolog | |
| Misc | |
| My Java Page | |
| LLP Publications | |
| Photos of JICSLP'98 | |
| Last modified: 23th March 2007 |