Toward logic tailored for computational complexity

Gurevich, Yuri

Toward logic tailored for computational complexity

dc.contributor.author	Gurevich, Yuri	en_US
dc.date.accessioned	2006-02-03
dc.date.available	2006-02-03
dc.date.issued	1984	en_US
dc.identifier	UMR1873	en_US
dc.identifier.uri	https://hdl.handle.net/2027.42/5238
dc.format.extent	46 bytes
dc.format.extent	77102 bytes
dc.format.extent	3366 bytes
dc.format.extent	88634 bytes
dc.format.extent	3550903 bytes
dc.format.mimetype	text/plain
dc.format.mimetype	text/plain
dc.format.mimetype	text/plain
dc.format.mimetype	text/plain
dc.format.mimetype	application/pdf
dc.language.iso	en_US	en_US
dc.subject	First-order Logic.	en_US
dc.subject	Logic, Symbolic and Mathematical.	en_US
dc.subject	Programming Languages (Electronic Computers)	en_US
dc.title	Toward logic tailored for computational complexity	en_US
dc.type	Technical Report	en_US
dc.subject.hlbtoplevel	Engineering	en_US
dc.description.bitstreamurl	http://deepblue.lib.umich.edu/bitstream/2027.42/5238/5/bac3726.0001.001.pdf	en_US
dc.description.bitstreamurl	http://deepblue.lib.umich.edu/bitstream/2027.42/5238/4/bac3726.0001.001.txt	en_US
dc.owningcollname	Engineering, College of - Technical Reports

Files in this item

Name:: bac3726.0001.001.txt
Size:: 86.55KB
Format:: Text file

View/Open

Name:: bac3726.0001.001.pdf
Size:: 3.386MB
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.