Higher-order computability:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
[2015]
|
| Schriftenreihe: | Theory and applications of computability
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online Ressource (XVI, 571 Seiten, 2 illus) |
| ISBN: | 9783662479926 |
| ISSN: | 2190-619X |
| DOI: | 10.1007/978-3-662-47992-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043209111 | ||
| 003 | DE-604 | ||
| 005 | 20160722 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662479926 |c Online |9 978-3-662-47992-6 | ||
| 024 | 7 | |a 10.1007/978-3-662-47992-6 |2 doi | |
| 035 | |a (OCoLC)932033197 | ||
| 035 | |a (DE-599)BVBBV043209111 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-19 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-739 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 100 | 1 | |a Longley, John |e Verfasser |0 (DE-588)1095691686 |4 aut | |
| 245 | 1 | 0 | |a Higher-order computability |c John Longley, Dag Normann |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (XVI, 571 Seiten, 2 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Theory and applications of computability |x 2190-619X | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Normann, Dag |e Verfasser |0 (DE-588)1095774662 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-662-47991-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-47992-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632272 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FLA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-47992-6 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175707544223744 |
|---|---|
| adam_text | HIGHER-ORDER COMPUTABILITY
/ LONGLEY, JOHN
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION AND MOTIVATION
HISTORICAL SURVEY
THEORY OF COMPUTABILITY MODELS
THEORY OF LAMBDA ALGEBRAS
KLEENE COMPUTABILITY IN A TOTAL SETTING
NESTED SEQUENTIAL PROCEDURES
PCF AND ITS MODELS
TOTAL CONTINUOUS FUNCTIONALS
HEREDITARILY EFFECTIVE OPERATIONS
PARTIAL CONTINUOUS FUNCTIONALS
SEQUENTIALLY REALIZABLE FUNCTIONALS
SOME INTENSIONAL MODELS
RELATED AND FUTURE WORK
REFERENCES
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
HIGHER-ORDER COMPUTABILITY
/ LONGLEY, JOHN
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK OFFERS A SELF-CONTAINED EXPOSITION OF THE THEORY OF
COMPUTABILITY IN A HIGHER-ORDER CONTEXT, WHERE COMPUTABLE OPERATIONS
MAY THEMSELVES BE PASSED AS ARGUMENTS TO OTHER COMPUTABLE OPERATIONS.
THE SUBJECT ORIGINATED IN THE 1950S WITH THE WORK OF KLEENE, KREISEL AND
OTHERS, AND HAS SINCE EXPANDED IN MANY DIFFERENT DIRECTIONS UNDER THE
INFLUENCE OF WORKERS FROM BOTH MATHEMATICAL LOGIC AND COMPUTER SCIENCE.
THE IDEAS OF HIGHER-ORDER COMPUTABILITY HAVE PROVED VALUABLE BOTH FOR
ELUCIDATING THE CONSTRUCTIVE CONTENT OF LOGICAL SYSTEMS, AND FOR
INVESTIGATING THE EXPRESSIVE POWER OF VARIOUS HIGHER-ORDER PROGRAMMING
LANGUAGES. IN CONTRAST TO THE WELL-KNOWN SITUATION FOR FIRST-ORDER
FUNCTIONS, IT TURNS OUT THAT AT HIGHER TYPES THERE ARE SEVERAL DIFFERENT
NOTIONS OF COMPUTABILITY COMPETING FOR OUR ATTENTION, AND EACH OF THESE
HAS GIVEN RISE TO ITS OWN STRAND OF RESEARCH. IN THIS BOOK, THE AUTHORS
OFFER AN INTEGRATED TREATMENT THAT DRAWS TOGETHER MANY OF THESE STRANDS
WITHIN A UNIFYING FRAMEWORK, REVEALING NOT ONLY THE RANGE OF POSSIBLE
COMPUTABILITY CONCEPTS BUT THE RELATIONSHIPS BETWEEN THEM. THE BOOK
WILL SERVE AS AN IDEAL INTRODUCTION TO THE FIELD FOR BEGINNING GRADUATE
STUDENTS, AS WELL AS A REFERENCE FOR ADVANCED RESEARCHERS.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Longley, John Normann, Dag |
| author_GND | (DE-588)1095691686 (DE-588)1095774662 |
| author_facet | Longley, John Normann, Dag |
| author_role | aut aut |
| author_sort | Longley, John |
| author_variant | j l jl d n dn |
| building | Verbundindex |
| bvnumber | BV043209111 |
| classification_rvk | ST 134 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)932033197 (DE-599)BVBBV043209111 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-47992-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03702nmm a2200709zc 4500</leader><controlfield tag="001">BV043209111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160722 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662479926</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-47992-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-47992-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932033197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209111</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Longley, John</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1095691686</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Higher-order computability</subfield><subfield code="c">John Longley, Dag Normann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XVI, 571 Seiten, 2 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Theory and applications of computability</subfield><subfield code="x">2190-619X</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Normann, Dag</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1095774662</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-662-47991-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632272</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043209111 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:34Z |
| institution | BVB |
| isbn | 9783662479926 |
| issn | 2190-619X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632272 |
| oclc_num | 932033197 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| physical | 1 Online Ressource (XVI, 571 Seiten, 2 illus) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series2 | Theory and applications of computability |
| spelling | Longley, John Verfasser (DE-588)1095691686 aut Higher-order computability John Longley, Dag Normann Berlin ; Heidelberg Springer [2015] © 2015 1 Online Ressource (XVI, 571 Seiten, 2 illus) txt rdacontent c rdamedia cr rdacarrier Theory and applications of computability 2190-619X Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 s DE-604 Normann, Dag Verfasser (DE-588)1095774662 aut Erscheint auch als Druckausgabe 978-3-662-47991-9 https://doi.org/10.1007/978-3-662-47992-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Longley, John Normann, Dag Higher-order computability Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4005581-4 |
| title | Higher-order computability |
| title_auth | Higher-order computability |
| title_exact_search | Higher-order computability |
| title_full | Higher-order computability John Longley, Dag Normann |
| title_fullStr | Higher-order computability John Longley, Dag Normann |
| title_full_unstemmed | Higher-order computability John Longley, Dag Normann |
| title_short | Higher-order computability |
| title_sort | higher order computability |
| topic | Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie |
| url | https://doi.org/10.1007/978-3-662-47992-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT longleyjohn higherordercomputability AT normanndag higherordercomputability |