Yuichi Komori

Publication Activity (10 Years)

Years Active: 1985-2015
Publications (10 Years): 0

Top Topics

Search And Rescue

Top Venues

Publications

Yuichi Komori, Kazuaki Ohno, Takuaki Fujieda, Takahiro Suzuki, Satoshi Tadokoro
Detection of continuous barking actions from search and rescue dogs' activities data. IROS (2015)
Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda
Reduction Rules for Intuitionistic λρ-calculus. Stud Logica 103 (6) (2015)
Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa
A Simplified Proof of the Church-Rosser Theorem. Stud Logica 102 (1) (2014)
Sachio Hirokawa, Yuichi Komori, Misao Nagayama
A Lambda Proof of The P-W Theorem. J. Symb. Log. 65 (4) (2000)
Sachio Hirokawa, Yuichi Komori, Izumi Takeuti
A reduction rule for Peirce formula. Stud Logica 56 (3) (1996)
Yuichi Komori
Syntactical investigations into BI logic and BB'I logic. Stud Logica 53 (3) (1994)
Yuichi Komori, Sachio Hirokawa
The Number of Proofs for a BCK-Formula. J. Symb. Log. 58 (2) (1993)
Yuichi Komori
Predicate logics without the structure rules. Stud Logica 45 (4) (1986)
Yuichi Komori
A new semantics for intuitionistic predicate logic. Stud Logica 45 (1) (1986)
Hiroakira Ono, Yuichi Komori
Logics Without the Contraction Rule. J. Symb. Log. 50 (1) (1985)