204 results
On Church’s thesis in cubical assemblies
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 21 March 2022, pp. 1185-1204
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 08 January 2021, pp. 1342-1375
- Print publication:
- December 2020
-
- Article
- Export citation
Fast Stokesian dynamics
-
- Journal:
- Journal of Fluid Mechanics / Volume 878 / 10 November 2019
- Published online by Cambridge University Press:
- 17 September 2019, pp. 544-597
-
- Article
- Export citation
Dedication
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp v-vi
-
- Chapter
- Export citation
8 - Catalogue Lists and Charts
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 52-71
-
- Chapter
- Export citation
172 - π Cep = STT 489 = WDS J23079+7523AB
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 438-439
-
- Chapter
- Export citation
72 - J Vel = RMK 13 = WDS J10209–5603
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 224-225
-
- Chapter
- Export citation
165 - 53 Aqr = SHJ 345 = WDS J22266–1645AB
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 424-425
-
- Chapter
- Export citation
56 - STF 1126 CMi = WDS J07401+0514AB
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 190-191
-
- Chapter
- Export citation
105 - ϵ Boo = STF 1877 = WDS J14450+2704AB
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 296-297
-
- Chapter
- Export citation
23 - θ 1,2 Eri = PZ 2 = WDS J02583–4018
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 124-125
-
- Chapter
- Export citation
88 - 24 Com = STF 1657 = WDS J12351+1823
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 258-259
-
- Chapter
- Export citation
121 - α Sco = Antares = GNT 1 = WDS J16294–2626
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 330-331
-
- Chapter
- Export citation
81 - STT 235 UMa = WDS J11323+6105AB
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 244-245
-
- Chapter
- Export citation
19 - o Cet = Joy 1 = WDS J02193–0259AaAb
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 114-115
-
- Chapter
- Export citation
52 - 145 CMa = HJ 3945 = WDS J07166–2319AB
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 182-183
-
- Chapter
- Export citation
33 - 14 Ori = STT 98 = WDS J05079+0830
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 144-145
-
- Chapter
- Export citation
97 - J Cen = Δ 133 = WDS J13226–6059AB,C
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 278-279
-
- Chapter
- Export citation
29 - 32 Eri = STF 470 = WDS J03543–0257
- from 9 - The Catalogue
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 136-137
-
- Chapter
- Export citation
4 - Observational Double Star Groups
-
- Book:
- An Anthology of Visual Double Stars
- Published online:
- 17 August 2019
- Print publication:
- 29 August 2019, pp 10-11
-
- Chapter
- Export citation