SCEAS

The SCEAS System

Title:
Author:

H. Ono: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP