Recursion Theory and Complexity : : Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997 / / ed. by Marat M. Arslanov, Steffen Lempp.
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Mathematics - 1990 - 1999 |
---|---|
HerausgeberIn: | |
MitwirkendeR: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2014] ©1999 |
Year of Publication: | 2014 |
Edition: | Reprint 2014 |
Language: | English |
Series: | De Gruyter Series in Logic and Its Applications ,
2 |
Online Access: | |
Physical Description: | 1 online resource (239 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 05637nam a22010335i 4500 | ||
---|---|---|---|
001 | 9783110807486 | ||
003 | DE-B1597 | ||
005 | 20230228015514.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 230228t20141999gw fo d z eng d | ||
019 | |a (OCoLC)1013948999 | ||
019 | |a (OCoLC)1029833010 | ||
019 | |a (OCoLC)1032683317 | ||
019 | |a (OCoLC)1037979808 | ||
019 | |a (OCoLC)1041993875 | ||
019 | |a (OCoLC)1046614029 | ||
019 | |a (OCoLC)1046684800 | ||
019 | |a (OCoLC)1047015124 | ||
020 | |a 9783110807486 | ||
024 | 7 | |a 10.1515/9783110807486 |2 doi | |
035 | |a (DE-B1597)43081 | ||
035 | |a (OCoLC)922696043 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
072 | 7 | |a MAT000000 |2 bisacsh | |
084 | |a SD 1997 |2 rvk |0 (DE-625)rvk/142731: | ||
245 | 0 | 0 | |a Recursion Theory and Complexity : |b Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997 / |c ed. by Marat M. Arslanov, Steffen Lempp. |
250 | |a Reprint 2014 | ||
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2014] | |
264 | 4 | |c ©1999 | |
300 | |a 1 online resource (239 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a De Gruyter Series in Logic and Its Applications , |x 1438-1893 ; |v 2 | |
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Table of contents -- |t Priority method in generalized computability -- |t Polynomial-time versus computable Boolean algebras -- |t The proof-theoretic strength of the Dushnik-Miller Theorem for countable linear orders -- |t Effectively nowhere simple relations on computable structures -- |t Jump traces with large gaps -- |t Weak recursive degrees and a problem of Spector -- |t Compositions of permutations and algorithmic reducibilities -- |t Some properties of majorant-computability -- |t Hyperarithmetical functions and algebraicity -- |t Weak presentations of fields not extendible to recursive presentations -- |t Jumps of Ʃ02-high e-degrees and properly Ʃ02 e-degrees -- |t Enumeration reducibility and the problem of the nontotal property of e-degrees -- |t Algebras of recursive functions -- |t Σ2 Induction and cuppable degrees -- |t Open problems -- |t List of talks -- |t List of contributors -- |t Backmatter |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
650 | 0 | |a Computational complexity |v Congresses. | |
650 | 0 | |a Recursion theory |v Congresses. | |
650 | 4 | |a Berechnungskomplexität. | |
650 | 4 | |a Rekursionstheorie. | |
650 | 7 | |a MATHEMATICS / General. |2 bisacsh | |
700 | 1 | |a Arslanov, Marat M., |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Ashaev, Igor V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Cenzer, Douglas, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Downey, Rodney G., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Harizanov, Valentina S., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Hinman, Peter G., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Ishmukhametov, Shamil, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Korovin, Κ. V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Korovina, M. V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Kudinov, Ο. V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Lempp, Steffen, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Lempp, Steffen, |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Morozov, A. S., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Remmel, Jeffrey B., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Shlapentokh, Alexandra, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Shore, Richard, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Solon, Boris, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Solovyev, V., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Sorbi, Andrea, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Yang, Yue, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Mathematics - 1990 - 1999 |z 9783110637199 |o ZDB-23-GMA |
776 | 0 | |c print |z 9783110165876 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783110807486 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783110807486 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783110807486/original |
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-GMA |c 1990 |d 1999 |