 | 2005 |
|---|
| 7 |       | Kenzo Nonami,
Ryohei Yuasa,
D. Waterman,
Shingo Amano,
H. Ono:
Preliminary Design and Feasibility Study of a 6-Degree of Freedom Robot for Excavation of Unexploded Landmine.
Auton. Robots 18(3): 293-302 (2005) |
| 2000 |
|---|
| 6 |  | Tomasz Kowalski,
H. Ono:
Remarks on Splittings in the Variety of Residuated Lattices.
Reports on Mathematical Logic 34: 133-140 (2000) |
| 5 | | Tomasz Kowalski,
H. Ono:
The Variety of Residuated Lattices is Generated by its Finite Simple Members.
Reports on Mathematical Logic 34: 59-77 (2000) |
| 1998 |
|---|
| 4 | | H. Naruse,
Bayu Surarso,
H. Ono:
A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics.
Notre Dame Journal of Formal Logic 39(1): 94-113 (1998) |
| 1996 |
|---|
| 3 | | Bayu Surarso,
H. Ono:
Cut Elimination in Noncommutative Substructural Logics.
Reports on Mathematical Logic 30: 13-29 (1996) |
| 1994 |
|---|
| 2 | | R. Hori,
H. Ono,
Harold Schellinx:
Extending Intutionistic Linear Logic with Knotted Structural Rules.
Notre Dame Journal of Formal Logic 35(2): 219-242 (1994) |
| 1 | | Robert K. Meyer,
H. Ono:
The finite model property for BCK arid BCIW.
Studia Logica 53(1): 107-118 (1994) |
