Solution of a problem in DNA computing
- 作者Eric Anderson; Marek Chrobak; John Noga; Jiřı́ Sgall; Gerhard J. Woeginger
- 卷第287卷
- 期第2期
- 印刷ISSN0304-3975
- 文件大小75.59KB
- 发表时间2002
- DOI10.1016/s0304-3975(01)00252-3
- 页码387-391
同作者推荐
The probability nesting gameDanièle Beauquier; Yoram Hirshfeld; Alexander Rabinovich; Anatol Slissenko · 2002
Polytime model checking for timed probabilistic computation tree logicDanièle Beauquier; Anatol Slissenko · 1998
A first order logic for specification of timed algorithms: basic properties and a decidable classDanièle Beauquier; Anatol Slissenko · 2001