A shrinking lemma for indexed languages
- 作者Robert H. Gilman
- 卷第163卷
- 印刷ISSN0304-3975
- 文件大小350.06KB
- 发表时间1996
- DOI10.1016/0304-3975(96)00244-7
- 页码277-281
同作者推荐
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