3 results
DESIREE as a new tool for interstellar ion chemistry
-
- Journal:
- International Journal of Astrobiology / Volume 7 / Issue 3-4 / October 2008
- Published online by Cambridge University Press:
- 12 August 2008, pp. 205-208
-
- Article
- Export citation
Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 411
- Print publication:
- June 1972
-
- Article
- Export citation
Anton Jensen. Om aksiomatisk mœngdeteori (On axiomatic set theory). Nordisk matematisk tidskrift, vol. 13 no. 3 (1965), pp. 91–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- February 1970
-
- Article
- Export citation