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

Hiroshi Aoyama

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

1998
3 Hiroshi Aoyama: The Semantic Completeness of a Global Intuitionistic Logic. Math. Log. Q. 44: 167-175 (1998)
1994
2 Hiroshi Aoyama: The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic. Notre Dame Journal of Formal Logic 35(3): 355-368 (1994)
1991
1EEHiroshi Aoyama, Masahiro Kawagoe: A piecewise linear approximation method preserving visual feature points of original figures. CVGIP: Graphical Model and Image Processing 53(5): 435-446 (1991)

Coauthor Index

1Masahiro Kawagoe [1]

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