View Item 

Show simple item record

Reconsidering Turing's thesis : (toward more realistic semantics of programs)
dc.contributor.authorGurevich, Yurien_US
dc.date.accessioned2006-02-03T19:09:48Z
dc.date.available2006-02-03T19:09:48Z
dc.date.issued1984en_US
dc.identifierUMR1874en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/5237
dc.format.extent16 bytes
dc.format.extent26770 bytes
dc.format.extent3366 bytes
dc.format.extent29505 bytes
dc.format.extent1198906 bytes
dc.format.mimetypetext/plain
dc.format.mimetypetext/plain
dc.format.mimetypetext/plain
dc.format.mimetypetext/plain
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.subjectLogic, Symbolic and Mathematical.en_US
dc.subjectProgramming Languages (Electronic Computers) -- Semantics.en_US
dc.titleReconsidering Turing's thesis : (toward more realistic semantics of programs)en_US
dc.typeTechnical Reporten_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/5237/5/bac3732.0001.001.pdfen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/5237/4/bac3732.0001.001.txten_US
dc.owningcollnameEngineering, College of - Technical Reports


Files in this item

Name:
bac3732.0001.001.txt
Size:
28.81KB
Format:
Text file
View/Open
Name:
bac3732.0001.001.pdf
Size:
1.143MB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.