Complements of Intersections in Constructive Mathematics
- 作者Douglas S. Bridges; Hajime Ishihara
- 卷第40卷
- 期第1期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小487.62KB
- 发表时间1994
- DOI10.1002/malq.19940400106
- 页码35-43
Shortest division chains in imaginaryquadratic number fieldsHeinrich Rolletschek · 1990
Some New Lattice Constructions in High R. E. DegreesHeinrich Rolletschek · 1995
Complexity of certain decision problems about congruential languagesPaliath Narendran; Colm Ó'Dúnlaing; Heinrich Rolletschek · 1985
Computing Gretest Common Divisors and Factorizations in Quadratic Number FieldsErich Kaltofen and Heinrich Rolletschek · Mathematics of Computation · 1989
Computing greatest common divisors and factorizations in quadratic number fieldsKaltofen, Erich; Rolletschek, Heinrich · Mathematics of Computation · 1989
Closure properties of almost-finiteness classes in recursive function theoryRolletschek, Heinrich · The Journal of Symbolic Logic · 1983
On the Number of Divisions of the Euclidean Algorithm Applied to Gaussian IntegersHeinrich Rolletschek · 1986