Normal view MARC view ISBD view

Examples of hard tautologies and worst-case complexity results for propositional proof systems / Balakrishnan Krishnamurthy ; sous la direction de Robert N. Moll

Auteur principal : Krishnamurthy, Balakrishnan, AuteurAuteur secondaire : Moll, Robert N., Directeur de thèseAuteur secondaire collectivité : University of Massachusetts, Etablissement de soutenanceType de document : ThèseLangue : anglais.Pays : Etats Unis.Mention d'édition: Reprod. en fac-sim.Éditeur : Ann Arbor (Mich.) : University Microfilms International, 1993Description : 1 vol. (IX-117 f.) : fig. ; 21 cmBibliographie : Bibliogr. f. 110-117.Sujet MSC : 68Q15, Theory of computing, Complexity classes (hierarchies, relations among complexity classes, etc.)
68Q25, Theory of computing, Analysis of algorithms and problem complexity
03F20, Proof theory and constructive mathematics, Complexity of proofs
05C55, Combinatorics - Graph theory, Generalized Ramsey theory
97-02, Research exposition (monographs, survey articles) pertaining to mathematics education
Note de thèse: Thèse de doctorat, informatique, 1981, University of Massachusetts
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
Salle S
Thèses KRI (Browse shelf) Available 10797-01

This is an authorized facsimile and was produced by microfilm-xerography in 1981 by UNIVERSITY MICROFILMS INTERNATIONAL (Ann Arbor, Michigan, U.S.A)

Bibliogr. f. 110-117

Thèse de doctorat informatique 1981 University of Massachusetts

There are no comments for this item.

Log in to your account to post a comment.