DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
Turing's titanic machine? -- Embodied and disembodied computing at the Turing Centenary
In: http://www1.maths.leeds.ac.uk/pure/logic/computability/BarryTalks/titanic_CACM.pdf (2012)
BASE
Show details
2
Emergence as a Computability-Theoretic Phenomenon
In: http://www.amsta.leeds.ac.uk/Pure/staff/cooper/preprints/EACTP.pdf (2008)
BASE
Show details
3
Extending and Interpreting Post’s Programme
In: http://www.amsta.leeds.ac.uk/Pure/staff/cooper/preprints/cooper.apal.final.pdf (2008)
BASE
Show details
4
Turing Definability in the Ershov Hierarchy
In: http://www.amsta.leeds.ac.uk/Pure/staff/cooper/preprints/ncespl.pdf (1974)
BASE
Show details
5
The Extended Turing Model As Contextual Tool
In: http://www.amsta.leeds.ac.uk/Pure/staff/cooper/preprints/tamc09.pdf
BASE
Show details
6
Embodying Computation at Higher Types
In: http://www1.maths.leeds.ac.uk/pure/logic/computability/BarryTalks/Boston_paper.pdf
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern