Highlights of the rice-shapiro theorem in computable topology › Research Explorer

Novosibirsk State University's Research Portal

Highlights of the rice-shapiro theorem in computable topology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

DOI

https://doi.org/10.1007/978-3-319-74313-4_18
Final published version

Margarita Korovina
Oleg Kudinov

Original language	English
Title of host publication	Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers
Editors	AK Petrenko, A Voronkov
Publisher	Springer-Verlag GmbH and Co. KG
Pages	241-255
Number of pages	15
ISBN (Print)	9783319743127
DOIs	https://doi.org/10.1007/978-3-319-74313-4_18
Publication status	Published - 1 Jan 2018
Event	11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 - Moscow, Russian Federation Duration: 27 Jun 2017 → 29 Jun 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10742 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017
Country/Territory	Russian Federation
City	Moscow
Period	27.06.2017 → 29.06.2017

Research areas

Arithmetical complexity, Continuous data type, Program semantics, The Rise-Shapiro theorem, INDEX SETS, INSEPARABILITY

ID: 10453960