2005 |
7 | EE | 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 | EE | 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 | EE | 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) |