9 results
Combining tracking with at-sea surveys to improve occurrence and distribution estimates of two threatened seabirds in Peru
-
- Journal:
- Bird Conservation International / Volume 33 / 2023
- Published online by Cambridge University Press:
- 21 November 2022, e41
-
- Article
- Export citation
Standards of Practice in Acute Ischemic Stroke Intervention International Recommendations
- Part of
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 46 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 20 March 2019, pp. 269-274
-
- Article
-
- You have access
- HTML
- Export citation
J. Hartmanis and J. E. Hopcroft. What makes some language theory problems undecidable. Journal of computer and system sciences, vol. 4 (1970), pp. 368–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
- Print publication:
- June 1975
-
- Article
- Export citation
Computational speed-up by effective operators1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-68
- Print publication:
- March 1972
-
- Article
- Export citation
Claude E. Shannon. A universal Turing machine with two internal states. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 157–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
- Print publication:
- September 1971
-
- Article
- Export citation
K. de Leeuw, E. F. Moore, C. E. Shannon, and N. Shapiro. Computability by probabilistic machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 183–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
- Print publication:
- September 1970
-
- Article
- Export citation
M. L. Minsky. Some universal elements for finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 117–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-481
- Print publication:
- September 1970
-
- Article
- Export citation
John McCarthy. The inversion of functions defined by Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 177–181.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 481
- Print publication:
- September 1970
-
- Article
- Export citation
N. V. Bélákin. Mašiny T′uringa, rabotaúščié na ploskosti. Doklady Akadémii Nauk SSSR, vol. 168 (1966), pp. 502–503. - N. V. Beljakin. Turing machines operating on a plane. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 3 (1966), pp. 661–662.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- 10 October 1968
-
- Article
- Export citation