On denotational versus predicative semantics
- 作者Manfred Broy; Christian Lengauer
- 卷第42卷
- 期第1期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小1408.87KB
- 发表时间1991
- DOI10.1016/0022-0000(91)90037-6
- 页码1-29
同作者推荐
Finite-state dimensionJack J. Dai; James I. Lathrop; Jack H. Lutz; Elvira Mayordomo · 2004
Effective fractal dimensionsJack H. Lutz · 2005
Connectivity properties of dimension level setsJack H. Lutz; Klaus Weihrauch · 2008
Almost everywhere high nonuniform complexityJack H. Lutz · 1992
An upward measure separation theoremJack H. Lutz · 1991
Circuit size relative to pseudorandom oraclesJack H. Lutz; William J. Schmidt · 1993
Computational depth and reducibilityDavid W. Juedes; James I. Lathrop; Jack H. Lutz · 1994