Preface
- 作者Amir Pnueli; Joseph Sifakis
- 卷第138卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小91.50KB
- 发表时间1995
- DOI10.1016/0304-3975(95)90065-9
- 页码1-2
同作者推荐
Effective Borel measurability and reducibility of functionsVasco Brattka · 2005
Editorial: Math. Log. Quart. 5/2008Vasco Brattka; Hajime Ishihara; Matthias Schröder; Ning Zhong · 2008
Feasible Real Random Access MachinesVasco Brattka; Peter Hertling · 1998
PrefaceVasco Brattka; Ruth Dillhage; Tanja Grubba; Angela Klutsch · 2008
Computability in linear algebraMartin Ziegler; Vasco Brattka · 2004
Topological properties of real number representationsVasco Brattka; Peter Hertling · 2002
Recursive quasi-metric spacesVasco Brattka · 2003
Computability on subsets of metric spacesVasco Brattka; Gero Presser · 2003