Feasible mathematics: a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Birkhäuser
1990
|
| Schriftenreihe: | Progress in computer science and applied logic
9 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 350 S. |
| ISBN: | 0817634835 3764334835 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004157578 | ||
| 003 | DE-604 | ||
| 005 | 20090504 | ||
| 007 | t| | ||
| 008 | 901128s1990 xx |||| 10||| engod | ||
| 016 | 7 | |a 941246183 |2 DE-101 | |
| 020 | |a 0817634835 |9 0-8176-3483-5 | ||
| 020 | |a 3764334835 |9 3-7643-3483-5 | ||
| 035 | |a (OCoLC)260208169 | ||
| 035 | |a (DE-599)BVBBV004157578 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-20 |a DE-824 |a DE-19 |a DE-11 | ||
| 084 | |a SD 1989 |0 (DE-625)142723: |2 rvk | ||
| 084 | |a ST 600 |0 (DE-625)143681: |2 rvk | ||
| 084 | |a DAT 517f |2 stub | ||
| 245 | 1 | 0 | |a Feasible mathematics |b a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] |c Samuel R. Buss ... , eds. |
| 264 | 1 | |a Boston [u.a.] |b Birkhäuser |c 1990 | |
| 300 | |a VIII, 350 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Progress in computer science and applied logic |v 9 | |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexität |0 (DE-588)4135369-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Ithaca NY |2 gnd-content | |
| 689 | 0 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 1 | 1 | |a Komplexität |0 (DE-588)4135369-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Buss, Samuel R. |e Sonstige |4 oth | |
| 710 | 2 | |a Cornell University |b Mathematical Sciences Institute |e Sonstige |0 (DE-588)2108810-X |4 oth | |
| 711 | 2 | |a Workshop on Feasible Mathematics |n 1 |d 1989 |c Ithaca, NY |j Sonstige |0 (DE-588)5027012-6 |4 oth | |
| 830 | 0 | |a Progress in computer science and applied logic |v 9 |w (DE-604)BV004157568 |9 9 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002592992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n oe | |
| 942 | 1 | 1 | |e 22/bsb |g 495 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002592992 | |
Datensatz im Suchindex
| _version_ | 1820868304884989952 |
|---|---|
| adam_text |
Table
of Contents
Preface
v
Miklos
Ajtai
Parity and the Pigeonhole Principle
. 1
Lenore Blum
Computing over the Reals (or an Arbitrary Ring) A bstract
.25
Samuel R. Buss
On Model Theory for Intuitionistic Bounded Arithmetic
with Applications to Independence Results
.27
Peter Clote
Sequential, Machine Independent Characterizations of the
Parallel Complexity Classes AlogTIME, AC*,
NC*
and NC
.49
Stephen A. Cook and Bruce M.
Kapron
Characterizations of the Basic Feasible Functionals of
Finite Type
.71
Stephen A. Cook and Alasdair Urquhart
Functional Interpretations of Feasibly Constructive
Arithmetic
—
Abstract
.97
John
N.
Crossley and Jeff B.
Rémmel
Polynomial-time Combinatorial Operators are Polynomials
.99
J.C.E.
Dekker
Isols and Kneser Graphs
. 131
Fernando
Ferreira
Stockmeyer
Induction
. 161
John Foy and Alan R. Woods
Probabilities of Sentences about Two Linear
Orderings
. 181
viii Table of
Contents
Jean-Yves Girard,
Andre Scedrov and Philip
J.
Scott
Bounded
Linear Logic:
a Modular Approach to
Polynomial Time Computability, Extended Abstract
. 195
Yuri Gurevich
On Finite Model Theory (Extended Abstract)
. 211
H. James Hoover
Computational Models for Feasible Real Analysis
. 221
Ker-I
Ko
Inverting a One-to-One Real Function is Inherently
Sequential
. 239
Jan Krajíček
and Gaisi Takeuti
On Bounded
Σ}
Polynomial Induction
. 259
Daniel Leivant
Subrecursion and Lambda Representation over Free
Algebras (Preliminary Summary)
. 281
Anil
Nerode
and Jeff B.
Rémmel
Complexity-Theoretic Algebra: Vector Space Bases
. 293
Jeff B.
Rémmel
When is every Recursive Linear Ordering of Tj'pe
μ
Recursively Isomorphic to a Polynomial Time Linear
Ordering over the Natural Numbers in Binary Form?
. 321 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004157578 |
| classification_rvk | SD 1989 ST 600 |
| classification_tum | DAT 517f |
| ctrlnum | (OCoLC)260208169 (DE-599)BVBBV004157578 |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV004157578</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090504</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">901128s1990 xx |||| 10||| engod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941246183</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0817634835</subfield><subfield code="9">0-8176-3483-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764334835</subfield><subfield code="9">3-7643-3483-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)260208169</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004157578</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1989</subfield><subfield code="0">(DE-625)142723:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 600</subfield><subfield code="0">(DE-625)143681:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Feasible mathematics</subfield><subfield code="b">a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University]</subfield><subfield code="c">Samuel R. Buss ... , eds.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 350 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">9</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexität</subfield><subfield code="0">(DE-588)4135369-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1989</subfield><subfield code="z">Ithaca NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Komplexität</subfield><subfield code="0">(DE-588)4135369-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buss, Samuel R.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Cornell University</subfield><subfield code="b">Mathematical Sciences Institute</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2108810-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Feasible Mathematics</subfield><subfield code="n">1</subfield><subfield code="d">1989</subfield><subfield code="c">Ithaca, NY</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5027012-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV004157568</subfield><subfield code="9">9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002592992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">495</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002592992</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1989 Ithaca NY gnd-content |
| genre_facet | Konferenzschrift 1989 Ithaca NY |
| id | DE-604.BV004157578 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:22:15Z |
| institution | BVB |
| institution_GND | (DE-588)2108810-X (DE-588)5027012-6 |
| isbn | 0817634835 3764334835 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002592992 |
| oclc_num | 260208169 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-20 DE-824 DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-20 DE-824 DE-19 DE-BY-UBM DE-11 |
| physical | VIII, 350 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Birkhäuser |
| record_format | marc |
| series | Progress in computer science and applied logic |
| series2 | Progress in computer science and applied logic |
| spelling | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] Samuel R. Buss ... , eds. Boston [u.a.] Birkhäuser 1990 VIII, 350 S. txt rdacontent n rdamedia nc rdacarrier Progress in computer science and applied logic 9 Computer (DE-588)4070083-5 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Komplexität (DE-588)4135369-9 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1989 Ithaca NY gnd-content Komplexitätstheorie (DE-588)4120591-1 s DE-604 Computer (DE-588)4070083-5 s Komplexität (DE-588)4135369-9 s Berechnungskomplexität (DE-588)4134751-1 s Buss, Samuel R. Sonstige oth Cornell University Mathematical Sciences Institute Sonstige (DE-588)2108810-X oth Workshop on Feasible Mathematics 1 1989 Ithaca, NY Sonstige (DE-588)5027012-6 oth Progress in computer science and applied logic 9 (DE-604)BV004157568 9 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002592992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] Progress in computer science and applied logic Computer (DE-588)4070083-5 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Komplexität (DE-588)4135369-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4070083-5 (DE-588)4120591-1 (DE-588)4135369-9 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] |
| title_auth | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] |
| title_exact_search | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] |
| title_full | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] Samuel R. Buss ... , eds. |
| title_fullStr | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] Samuel R. Buss ... , eds. |
| title_full_unstemmed | Feasible mathematics a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] Samuel R. Buss ... , eds. |
| title_short | Feasible mathematics |
| title_sort | feasible mathematics a mathematical sciences institute workshop ithaca new york june 1989 papers presented at the workshop on feasible mathematics held at cornell university |
| title_sub | a Mathematical Sciences Institute workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University] |
| topic | Computer (DE-588)4070083-5 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Komplexität (DE-588)4135369-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Computer Komplexitätstheorie Komplexität Berechnungskomplexität Konferenzschrift 1989 Ithaca NY |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002592992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004157568 |
| work_keys_str_mv | AT busssamuelr feasiblemathematicsamathematicalsciencesinstituteworkshopithacanewyorkjune1989paperspresentedattheworkshoponfeasiblemathematicsheldatcornelluniversity AT cornelluniversitymathematicalsciencesinstitute feasiblemathematicsamathematicalsciencesinstituteworkshopithacanewyorkjune1989paperspresentedattheworkshoponfeasiblemathematicsheldatcornelluniversity AT workshoponfeasiblemathematicsithacany feasiblemathematicsamathematicalsciencesinstituteworkshopithacanewyorkjune1989paperspresentedattheworkshoponfeasiblemathematicsheldatcornelluniversity |