dblp.uni-trier.dewww.uni-trier.de

H. Ono

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
7EEKenzo 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)
5EETomasz 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
3EEBayu 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)

Coauthor Index

1Shingo Amano [7]
2R. Hori [2]
3Tomasz Kowalski [5] [6]
4Robert K. Meyer [1]
5H. Naruse [4]
6Kenzo Nonami [7]
7Harold Schellinx [2]
8Bayu Surarso [3] [4]
9D. Waterman [7]
10Ryohei Yuasa [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)