عنوان

Papers presented at the Workshop on Feasible Mathematics :

شابک

0817634835

شابک

3764334835

شابک

9780817634834

شابک

9783764334833

شماره

b536642

عنوان اصلي

Papers presented at the Workshop on Feasible Mathematics :

نام عام مواد

[Book]

ساير اطلاعات عنواني

[a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989] ; held at Cornell University

نام نخستين پديدآور

[Samuel R. Buss ... (eds.)].

محل نشرو پخش و غیره

Boston ; Berlin [u.a.]

نام ناشر، پخش کننده و غيره

Birkhäuser

تاریخ نشرو بخش و غیره

1990

نام خاص و کميت اثر

VIII, 349 S.

عنوان فروست

Progress in computer science and applied logic, 9.; Progress in computer science and applied logic; Feasible mathematics

متن يادداشت

Parity and the Pigeonhole Principle.- Computing over the Reals (or an Arbitrary Ring) Abstract.- On Model Theory for Intuitionistic Bounded Arithmetic with Applications to Independence Results.- Sequential, Machine Independent Characterizations of the Parallel Complexity Classes AlogTIME, ACk NCk and NC.- Characterizations of the Basic Feasible Functionals of Finite Type.- Functional Interpretations of Feasibly Constructive Arithmetic - Abstract.- Polynomial-time Combinatorial Operators are Polynomials.- Isols and Kneser Graphs.- Stockmeyer Induction.- Probabilities of Sentences about Two Linear Orderings.- Bounded Linear Logic: a Modular Approach to Polynomial Time Computability, Extended Abstract.- On Finite Model Theory (Extended Abstract).- Computational Models for Feasible Real Analysis.- Inverting a One-to-One Real Function is Inherently Sequential.- On Bounded ?11 Polynomial Induction.- Subrecursion and Lambda Representation over Free Algebras (Preliminary Summary).- Complexity-Theoretic Algebra: Vector Space Bases.- When is every Recursive Linear Ordering of Type ? Recursively Isomorphic to a Polynomial Time Linear Ordering over the Natural Numbers in Binary Form?.

موضوع مستند نشده

Berechnungskomplexität.

موضوع مستند نشده

Mathematik.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

[Samuel R. Buss ... (eds.)].

مستند نام اشخاص تاييد نشده

Samuel R Buss

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y