Original languageEnglish
Title of host publicationPerspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers
EditorsAK Petrenko, A Voronkov
PublisherSpringer-Verlag GmbH and Co. KG
Pages241-255
Number of pages15
ISBN (Print)9783319743127
DOIs
Publication statusPublished - 1 Jan 2018
Event11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 - Moscow, Russian Federation
Duration: 27 Jun 201729 Jun 2017

Publication series

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

Conference

Conference11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017
Country/TerritoryRussian Federation
CityMoscow
Period27.06.201729.06.2017

    Research areas

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

ID: 10453960