skip to content
Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 Preview this item
ClosePreview this item
Checking...

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

Author: Paul W Beame; Samuel R Buss; DIMACS (Group); NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
Publisher: Providence, R.I. : American Mathematical Society, ©1998.
Series: DIMACS series in discrete mathematics and theoretical computer science, v. 39.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Contains papers that represent the proceedings of the DIMACS workshop on 'Feasible Arithmetics and Proof Complexity' held in April 1996 at Rutgers University in New Jersey as part of the DIMACS  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Paul W Beame; Samuel R Buss; DIMACS (Group); NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
ISBN: 0821805770 9780821805770
OCLC Number: 37465135
Notes: "NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT & T Labs, Bell Labs, and Bellcore."
Papers from the proceedings of the DIMACS Workshop on Feasible Arithmetics and Length of Proofs, held on April 21-24, 1996 at Rutgers, New Jersey.
Description: xii, 320 pages : illustrations ; 26 cm.
Contents: Plausibly hard combinatorial tautologies / Jeremy Avigad --
More on the relative strength of counting principles / Paul Beame and Søren Riis --
Ranking arithmetic proofs by implicit ramification / Stephen J. Bellantoni --
Lower bounds on Nullstellensatz proofs via designs / Samuel R. Buss --
Relating the provable collapse of P to NC¹ and the power of logical theories / Stephen Cook --
On PHP st-connectivity, and odd charged graphs / Peter Clote and Anton Setzer --
Descriptive complexity and the W hierarchy / Rodney G. Downey, Michael R. Fellows, and Kenneth W. Regan --
Lower bounds on the sizes of cutting plane proofs for modular coloring principles / Xudong Fu --
Equational calculi and constant depth propositional proofs / Jan Johannsen --
Exponential lower bounds for semantic resolution / Stasys Jukna --
Bounded arithmetic : comparison of Buss' witnessing method and Sieg's Herbrand analysis / Barbara Kauffmann --
Towards lower bounds for bounded-depth Frege proofs with modular connectives / Alexis Maciel and Toniann Pitassi --
A quantifier-free theory based on a string algebra for NC¹ / François Pitt --
A propositional proof system for R₂ / Chris Pollett --Algebraic models of computation and interpolation for algebraic proof systems / Pavel Pudlák and Jir̆í Sgall --
Self-reflection principles and NP-hardness / Dan E. Willard.
Series Title: DIMACS series in discrete mathematics and theoretical computer science, v. 39.
Responsibility: Paul W. Beame, Samuel R. Buss, editors.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/37465135> # Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "37465135" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/354742387#Place/providence_r_i> ; # Providence, R.I.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85031452> ; # Constructive mathematics
    schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/354742387#Topic/recursie> ; # Recursie
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/354742387#Topic/proof_theory> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/354742387#Topic/constructive_mathematics> ; # Constructive mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/354742387#Topic/bewijstheorie> ; # Bewijstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/354742387#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexiteit> ; # Complexiteit
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/160155122> ; # NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university> ; # DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 : Rutgers University)
    schema:contributor <http://viaf.org/viaf/169401409> ; # DIMACS (Group)
    schema:contributor <http://viaf.org/viaf/95397001> ; # Paul W. Beame
    schema:contributor <http://viaf.org/viaf/170410> ; # Samuel R. Buss
    schema:copyrightYear "1998" ;
    schema:datePublished "1998" ;
    schema:description "Plausibly hard combinatorial tautologies / Jeremy Avigad -- More on the relative strength of counting principles / Paul Beame and Søren Riis -- Ranking arithmetic proofs by implicit ramification / Stephen J. Bellantoni -- Lower bounds on Nullstellensatz proofs via designs / Samuel R. Buss -- Relating the provable collapse of P to NC¹ and the power of logical theories / Stephen Cook -- On PHP st-connectivity, and odd charged graphs / Peter Clote and Anton Setzer -- Descriptive complexity and the W hierarchy / Rodney G. Downey, Michael R. Fellows, and Kenneth W. Regan -- Lower bounds on the sizes of cutting plane proofs for modular coloring principles / Xudong Fu -- Equational calculi and constant depth propositional proofs / Jan Johannsen -- Exponential lower bounds for semantic resolution / Stasys Jukna -- Bounded arithmetic : comparison of Buss' witnessing method and Sieg's Herbrand analysis / Barbara Kauffmann -- Towards lower bounds for bounded-depth Frege proofs with modular connectives / Alexis Maciel and Toniann Pitassi -- A quantifier-free theory based on a string algebra for NC¹ / François Pitt -- A propositional proof system for R₂ / Chris Pollett --Algebraic models of computation and interpolation for algebraic proof systems / Pavel Pudlák and Jir̆í Sgall -- Self-reflection principles and NP-hardness / Dan E. Willard."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/354742387> ;
    schema:genre "Conference proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1052-1798> ; # DIMACS series in discrete mathematics and theoretical computer science ;
    schema:name "Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996"@en ;
    schema:productID "37465135" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/37465135#PublicationEvent/providence_r_i_american_mathematical_society_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/354742387#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:workExample <http://worldcat.org/isbn/9780821805770> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/37465135> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/354742387#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university> # DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 : Rutgers University)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/354742387#Place/rutgers_university> ; # Rutgers University)
    schema:name "DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 : Rutgers University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/354742387#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/354742387#Place/rutgers_university> # Rutgers University)
    a schema:Place ;
    schema:name "Rutgers University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/354742387#Topic/constructive_mathematics> # Constructive mathematics
    a schema:Intangible ;
    schema:name "Constructive mathematics"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85031452> # Constructive mathematics
    a schema:Intangible ;
    schema:name "Constructive mathematics"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://viaf.org/viaf/160155122> # NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
    a schema:Organization ;
    schema:name "NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science." ;
    .

<http://viaf.org/viaf/169401409> # DIMACS (Group)
    a schema:Organization ;
    schema:name "DIMACS (Group)" ;
    .

<http://viaf.org/viaf/170410> # Samuel R. Buss
    a schema:Person ;
    schema:familyName "Buss" ;
    schema:givenName "Samuel R." ;
    schema:name "Samuel R. Buss" ;
    .

<http://viaf.org/viaf/95397001> # Paul W. Beame
    a schema:Person ;
    schema:birthDate "1959" ;
    schema:familyName "Beame" ;
    schema:givenName "Paul W." ;
    schema:name "Paul W. Beame" ;
    .

<http://worldcat.org/isbn/9780821805770>
    a schema:ProductModel ;
    schema:isbn "0821805770" ;
    schema:isbn "9780821805770" ;
    .

<http://worldcat.org/issn/1052-1798> # DIMACS series in discrete mathematics and theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/37465135> ; # Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
    schema:issn "1052-1798" ;
    schema:name "DIMACS series in discrete mathematics and theoretical computer science ;" ;
    schema:name "DIMACS series in discrete mathematics and theoretical computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/37465135>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/37465135> ; # Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
    schema:dateModified "2015-02-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.