CotterS052012D.pdf

Generic File

Attributes

Attribute NameValues
Parent Work Characterizing forking in VC-minimal theories
Title CotterS052012D.pdf
Filename CotterS052012D.pdf
Depositor curate_batch_user
Record Visibility and Access Public
Date Uploaded 2012-05-29
Date Modified
Audit Status passing
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 518081
Last modified: 2015:06:27 04:18:35-04:00
Filename: CotterS052012D.pdf
Original checksum: 9fcb3917256a6805fb0a32b7479ed0bc
Well formed: false
Valid: false
Status message: Lexical error offset=498185
Page count: 82