## Find a copy online

### Links to this item

0-link-springer-com.pugwash.lib.warwick.ac.uk Connect to Springer e-book

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: | Electronic books Conference papers and proceedings Congresses |
---|---|

Additional Physical Format: | Print version: Feasible mathematics II. Boston : Birkhäuser, 1995 (DLC) 94039297 (OCoLC)31436491 |

Material Type: | Conference publication, Document, Internet resource |

Document Type: | Internet Resource, Computer File |

All Authors / Contributors: |
Peter Clote; Jeffrey B Remmel |

ISBN: | 9781461225669 1461225663 |

OCLC Number: | 853260861 |

Description: | 1 online resource (viii, 447 pages) : illustrations. |

Contents: | Preface -- On the Existence of modulo p Cardinality Functions -- Predicative Recursion and The Polytime Hierarchy -- Are there Hard Examples for Frege Systems? -- On Godel's Theorems on Lengths of Proofs II: Lower Bounds for Recognizing k Symbol Provability -- Feasibly Categorical Abelian Groups -- First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes -- Parameterized Computational Feasibility -- On Proving Lower Bounds for Circuit Size -- Effective Properties of Finitely Generated R.E. Algebras -- On Frege and Extended Frege Proof Systems -- Ramified Recurrence and Computational Complexity I: Word Recurrence and Poly-time -- Bounded Arithmetic and Lower Bounds in Boolean Complexity -- Ordinal Bounds for Programs -- Turing Machine Characterizations of Feasible Functionals of All Finite Types -- The Complexity of Feasible Interpretability. |

Series Title: | Progress in computer science and applied logic, v. 13. |

Responsibility: | Peter Clote, Jeffrey B. Remmel, editors. |

### Abstract:

an alternative way of looking at NP problems is introduced which focuses on which pa- rameters of the problem are the cause of its computational complexity and completeness, density and separation/collapse results are given for a struc- ture theory for parametrized problems (R.
Read more...

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "Feasible mathematics II".
Be the first.