Intuitionistic Proof Transformations: Complexity and Applications: Extended Abstract
- 作者Uwe Egly; Stephan Schmitt
- 卷第17卷
- 印刷ISSN1571-0661
- 文件大小713.80KB
- 发表时间1998
- DOI10.1016/s1571-0661(05)01177-1
- 页码1-12
同标题推荐
CHARACTERIZING DIGITAL STRAIGHTNESS AND DIGITAL CONVEXITY BY MEANS OF DIFFERENCE OPERATORSKiselman, Christer O. · Mathematika · 2011
Digital straightness and the skeleton propertyYazid M. Sharaiha; Philippe Garat · 1995
Digital straightness—a reviewReinhard Klette; Azriel Rosenfeld · 2004
Digital Convexity, Straightness, and Convex PolygonsKim, Chul E. · 1982
On the Straightness of Digital ArcsHung, S. H. Y. · 1985
Fast Polygonal Approximation of Digital Curves Using Relaxed Straightness PropertiesBhowmick, P.; Bhattacharya, B.B. · 2007
Detecting the straightness of digital curves in O(N) stepsW.G Kropatsch; W Tockner · 1988
同作者推荐