Show simple item record

A zero-one law for logic with a fixed-point operator

dc.contributor.authorBlass, Andreasen_US
dc.contributor.authorGurevich, Yurien_US
dc.contributor.authorKozen, Dexteren_US
dc.date.accessioned2006-02-03T17:01:23Z
dc.date.available2006-02-03T17:01:23Z
dc.date.issued1984en_US
dc.identifierUMR0486en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/3694
dc.format.extent35 bytes
dc.format.extent48443 bytes
dc.format.extent3366 bytes
dc.format.extent53699 bytes
dc.format.extent2371956 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 Programming.en_US
dc.titleA zero-one law for logic with a fixed-point operatoren_US
dc.typeTechnical Reporten_US
dc.subject.hlbtoplevelEngineeringen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/3694/5/bab2526.0001.001.pdfen_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/3694/4/bab2526.0001.001.txten_US
dc.owningcollnameEngineering, College of - Technical Reports


Files in this item

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.