Chapter: Program extraction from classical proofs

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Logic and Computational Complexity: International Workshop, LCC ' 94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers > Program extraction from classical proofs

Logic and Computational Complexity: International Workshop, LCC ' 94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers |

Daniel Leivant

Springer Berlin Heidelberg

Logic and Computational Complexity: International Workshop, LCC ' 94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

Program extraction from classical proofs

Chapter Info

Authors

Ulrich Berger; Helmut Schwichtenberg

ARI Id

1664429464427_1637744

Access

Not Available Free

Pages

77-97

DOI

10.1007/3-540-60178-3_80

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-60178-3_80

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 27 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter
Strict finitism and feasibility	Felice Cardone	1-21
Logical omniscience	Rohit Parikh	22-29
On feasible numbers	Vladimir Yu. Sazonov	30-51
On parallel hierarchies and R k i	Stephen Bloch	52-76
Program extraction from classical proofs	Ulrich Berger; Helmut Schwichtenberg	77-97
Computation models and function algebras	Peter Clote	98-130
Expressing computational complexity in constructive type theory	Robert L. Constable	131-144
Light linear logic	Jean-Yves Girard	145-176
Intrinsic theories and computational complexity	Daniel Leivant	177-194
On Herbrand's theorem	Samuel R. Buss	195-209
Some consequences of cryptographical conjectures for S 2 1 and EF	Jan Krajíček; Pavel Pudlák	210-220
Frege proof system and TNC°	Gaisi Takeuti	221-252
Characterizing parallel time by type 2 recursions with polynomial output length	Stephen J. Bellantoni	253-268
Type 2 polynomial hierarchies	Anil Seth	269-280
The hierarchy of terminating recursive programs over N	Stanley S. Wainer	281-299
Feasibly categorical models	Douglas Cenzer; Jeffrey B. Remmel	300-312
Metafinite model theory	Erich Grädel; Yuri Gurevich	313-366
Automatic presentations of structures	Bakhadyr Khoussainov; Anil Nerode	367-392
A restricted second order logic for finite structures	Anuj Dawar	393-413
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 27 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries