The Inherent Computational Complexity of Theories of Ordered Sets: A Brief Survery

Name

MIT-LCS-TM-054.pdf

Size

1.81 MB

Format

Adobe PDF

Checksum (MD5)

d013f75f174f58ab25f454a777d9da2e

Author(s)

Meyer, Albert R.

Date Issued

October 1974

Series/Report no.

MIT-LCS-TM-054

MAC-TM-054

Persistent DSpace Link

https://hdl.handle.net/1721.1/148882