Natural termination
- 作者Nachum Dershowitz; Charles Hoot
- 卷第142卷
- 期第2期
- 印刷ISSN0304-3975
- 文件大小1519.38KB
- 发表时间1995
- DOI10.1016/0304-3975(94)00275-4
- 页码179-207
同作者推荐
Context-sensitive transitive closure operatorsIain A. Stewart · 1994
Book reviewsW. P. R. Mitchell; Alan Hamilton; A. J. McIsaac; Iain Stewart · 1995
EditorialIain A. Stewart; Daniel Paulusma; Matthew Johnson · 2012
Book ReviewsStitt, Jocelyn Fenton; Moskal, Jeanne; Bremer, Anette; Valko, Jennifer M.; Ledford-Miller, Linda; Dunkerley, James; Donnell, Alison; Stewart, Iain A. D. · Studies in Travel Writing · 2003
Monotonicity and the Expressibility of NP OperatorsIain A. Stewart · 1994
Logical and schematic characterization of complexity classesIain A. Stewart · 1993
Constraint Satisfaction, Logic and Forbidden PatternsMadelaine, Florent; Stewart, Iain A. · SIAM Journal on Computing · 2007