Multiresolution morphing for planar curves
- 作者S. Hahmann; G.-P. Bonneau; B. Caramiaux; M. Cornillac
- 卷第79卷
- 印刷ISSN0010-485X
- 电子ISSN1436-5057
- 文件大小649.14KB
- 发表时间2007-04
- DOI10.1007/s00607-006-0198-7
- 页码197-209
Decidability in elementary analysis, IHarvey Friedman; Ákos Seress · Advances in Mathematics · 1989
Decidability in elementary analysis, IIHarvey Friedman; Ákos Seress · Advances in Mathematics · 1990
ON THE EDGE OF DECIDABILITY IN COMPLEXITY ANALYSIS OF LOOP PROGRAMSBEN-AMRAM, AMIR M.; KRISTIANSEN, LARS · International Journal of Foundations of Computer Science · 2012
Decidability for a temporal logic used in discrete-event system analysisKNIGHT, J. F.; PASSINO, K. M. · International Journal of Control · 1990
[IEEE Comput. Soc. Press 1993 International Conference on Network Protocols - San Francisco, CA, USA (19-22 Oct. 1993)] 1993 International Conference on Network Protocols - Decidability issues in reduced reachability analysisCacciari, L.; Rafiq, O. · 1993