Logical approximation for program analysis
- 期刊名称Higher-Order and Symbolic Computation
- 作者Simmons, Robert J.; Pfenning, Frank
- 卷第24卷
- 印刷ISSN1388-3690
- 电子ISSN1573-0557
- 文件大小1193.36KB
- 发表时间2011-06
- DOI10.1007/s10990-011-9071-2
- 页码41-80
同期刊推荐
Climate change impacts on freshwater ecosystemsFrancis, Robert A. · Landscape Ecology · 2012
Nature bats last?Killingbeck, Keith T. · Landscape Ecology · 2013
The Localization ReaderChappell, M. Jahi · Landscape Ecology · 2013
African Estuarine EcologyBoerner, Ralph E. J. · Landscape Ecology · 2014
30Paul G. Risser,Louis R. Iverson · Landscape Ecology · 2013
Ecosystem services modeling in contrasting landscapesFu, Bojie; Forsius, Martin · Landscape Ecology · 2015
Hierarchical Species Distribution ModelsHefley, Trevor J.; Hooten, Mevin B. · Current Landscape Ecology Reports · 2016
Redefining Landscape Structure for Ecosystem ServicesEigenbrod, Felix · Current Landscape Ecology Reports · 2016