The rectangle complexity of functions on two-dimensional lattices
- 作者J.W. Sander; R. Tijdeman
- 卷第270卷
- 印刷ISSN0304-3975
- 文件大小91.28KB
- 发表时间2002
- DOI10.1016/s0304-3975(01)00281-x
- 页码857-863
同作者推荐
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