2006 |
6 | EE | Naoyuki Tamura,
Akiko Taga,
Satoshi Kitagawa,
Mutsunori Banbara:
Compiling Finite Linear CSP into SAT.
CP 2006: 590-603 |
5 | EE | Katsumi Inoue,
Takehide Soh,
Seiji Ueda,
Yoshito Sasaura,
Mutsunori Banbara,
Naoyuki Tamura:
A competitive and cooperative approach to propositional satisfiability.
Discrete Applied Mathematics 154(16): 2291-2306 (2006) |
2005 |
4 | EE | Mutsunori Banbara,
Naoyuki Tamura,
Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System.
INAP 2005: 1-11 |
2001 |
3 | EE | Mutsunori Banbara,
Kyoung-Sun Kang,
Takaharu Hirai,
Naoyuki Tamura:
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.
ICLP 2001: 315-330 |
1999 |
2 | EE | Mutsunori Banbara,
Naoyuki Tamura:
Translating a Linear Logic Programming Language into Java.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
1998 |
1 | | Mutsunori Banbara,
Naoyuki Tamura:
Compiling Resources in a Linear Logic Programming Language.
Implementation Technology for Programming Languages based on Logic 1998: 32-45 |