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

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_demonstration
http://id.loc.gov/authorities/subjects/sh85031452
http://experiment.worldcat.org/entity/work/data/354742387#Topic/recursie
http://id.worldcat.org/fast/972355
http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexiteit
http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_complexite
http://experiment.worldcat.org/entity/work/data/354742387#Topic/theorie_de_la_demonstration_congres
http://id.worldcat.org/fast/1078942
http://id.loc.gov/authorities/subjects/sh2008101219
http://id.loc.gov/authorities/subjects/sh85029473
http://id.loc.gov/authorities/subjects/sh85107437
http://id.worldcat.org/fast/871991
http://experiment.worldcat.org/entity/work/data/354742387#Topic/bewijstheorie
http://id.loc.gov/authorities/subjects/sh85066082
http://id.worldcat.org/fast/876172
http://experiment.worldcat.org/entity/work/data/354742387#Topic/mathematiques_constructives_congres
http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_de_calcul_informatique_congres
http://experiment.worldcat.org/entity/work/data/354742387#Topic/complexite_calcul

http://schema.org/author

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_lenght_of_proofs_1996_rutgers_n_j

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_piscataway_nj
http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university
http://worldcat.org/entity/person/id/2632633076
http://worldcat.org/entity/person/id/2641380014
http://viaf.org/viaf/169401409
http://experiment.worldcat.org/entity/work/data/354742387#Organization/workshop_on_feasible_arithmetics_and_length_of_proof_1996_n_b
http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_1996_dimacs
http://experiment.worldcat.org/entity/work/data/354742387#Organization/american_mathematical_society
http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996
http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_special_year_on_logic_and_algorithms_1995_1996
http://viaf.org/viaf/217788938
http://id.loc.gov/authorities/names/n90695869
http://experiment.worldcat.org/entity/work/data/354742387#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j
http://id.loc.gov/authorities/names/n93087337

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_new_brunswick_nj_us_1996

http://schema.org/editor

http://worldcat.org/entity/person/id/2632633076
http://worldcat.org/entity/person/id/2641380014

http://schema.org/genre

"Congressi"
"Conference papers and proceedings"@en
"Conference papers and proceedings"
"Kongress"

http://schema.org/name

"Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996"@en
"Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996"
"Proof complexity and feasible arithmetics"
"Proof complexity and feasible arithmetics"@en
"Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 ; [contains papers from the DIMACS Workshop on Feasible Arithmetics and Length of Proofs, which was part of the DIMACS special year on logic and algorithms]"
"Proof complexity and feasible arithmetics : DIMACS workshop april 21-24, 1996"
"Proof complexity and feasible arithmetics : DIMACS workshop [on Feasible Arithmetics and Length of Proofs], April 21-24, 1996"
"Proof complexity and feasible arithmetics : papers"
"Proof complexity and feasible arithmetics : Dimacs Workshop April 21-24,1996"

http://schema.org/workExample

http://www.worldcat.org/oclc/804028821
http://www.worldcat.org/oclc/493478670
http://www.worldcat.org/oclc/246904949
http://www.worldcat.org/oclc/614375923
http://www.worldcat.org/oclc/848877357
http://www.worldcat.org/oclc/222122835
http://www.worldcat.org/oclc/474892492
http://www.worldcat.org/oclc/314939905
http://www.worldcat.org/oclc/37465135
http://www.worldcat.org/oclc/728077545
http://www.worldcat.org/oclc/610512822
http://www.worldcat.org/oclc/467596547

DIMACS Special Year on Logic and Algorithms (1995-1996)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS Special Year on Logic and Algorithms (1995-1996)"

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_special_year_on_logic_and_algorithms_1995_1996

DIMACS workshop on feasible arithmetics and lenght of proofs (1996 : Rutgers, N. J.)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS workshop on feasible arithmetics and lenght of proofs (1996 : Rutgers, N. J.)"

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_lenght_of_proofs_1996_rutgers_n_j

DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996)"

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996

DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 ; Piscataway, NJ)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 ; Piscataway, NJ)"

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_piscataway_nj

DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 : Rutgers University)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996 : Rutgers University)"

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_feasible_arithmetics_and_length_of_proofs_1996_rutgers_university

DIMACS Workshop on Proof Complexity and Feasible Arithmetics (1996 : DIMACS)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS Workshop on Proof Complexity and Feasible Arithmetics (1996 : DIMACS)"

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_1996_dimacs

DIMACS Workshop on Proof Complexity and Feasible Arithmetics (New Brunswick, NJ US) (1996).

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"DIMACS Workshop on Proof Complexity and Feasible Arithmetics (New Brunswick, NJ US) (1996)."

http://experiment.worldcat.org/entity/work/data/354742387#Meeting/dimacs_workshop_on_proof_complexity_and_feasible_arithmetics_new_brunswick_nj_us_1996

American Mathematical Society.

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"American Mathematical Society."

http://experiment.worldcat.org/entity/work/data/354742387#Organization/american_mathematical_society

Center for Discrete Mathematics and Theoretical Computer Science (Piscataway, N.J.)

rdf:type
http://schema.org/Organization
schema:name
"Center for Discrete Mathematics and Theoretical Computer Science (Piscataway, N.J.)"

http://experiment.worldcat.org/entity/work/data/354742387#Organization/center_for_discrete_mathematics_and_theoretical_computer_science_piscataway_n_j

Workshop on Feasible Arithmetics and Length of Proof (1996, N.B.)

rdf:type
http://schema.org/Organization
schema:name
"Workshop on Feasible Arithmetics and Length of Proof (1996, N.B.)"

http://experiment.worldcat.org/entity/work/data/354742387#Organization/workshop_on_feasible_arithmetics_and_length_of_proof_1996_n_b

Bewijstheorie.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Bewijstheorie."