Hiroshi Aoyama

Publication Activity (10 Years)

Years Active: 1981-2013
Publications (10 Years): 0

Top Topics

Complex Systems

Asynchronous Circuits

Quantum Computation

Top Venues

Publications

Satoko Titani, Heiji Kodera, Hiroshi Aoyama
Systems of Quantum Logic. Stud Logica 101 (1) (2013)
Hiroshi Aoyama
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic. Notre Dame J. Formal Log. 45 (4) (2004)
Hiroshi Aoyama
The Semantic Completeness of a Global Intuitionistic Logic. Math. Log. Q. 44 (1998)
Hiroshi Aoyama
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic. Notre Dame J. Formal Log. 35 (3) (1994)
Hiroshi Aoyama, Masahiro Kawagoe
A piecewise linear approximation method preserving visual feature points of original figures. CVGIP Graph. Model. Image Process. 53 (5) (1991)
Gotaro Odawara, Satoshi Kurishima, Hiroshi Aoyama, Yasuhiko Kanaya
PAS-CIP: An interactive logic design system. DAC (1981)