Computable Topology for Reliable Computations › Research Explorer

Novosibirsk State University's Research Portal

Computable Topology for Reliable Computations

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

DOI

https://doi.org/10.1007/978-3-030-37487-7_15
Final published version

Margarita Korovina
Oleg Kudinov

Original language	English
Title of host publication	Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
Editors	Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Publisher	Springer International Publishing AG
Pages	185-198
Number of pages	14
ISBN (Print)	9783030374860
DOIs	https://doi.org/10.1007/978-3-030-37487-7_15
Publication status	Published - 1 Jan 2019
Event	12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Russian Federation Duration: 2 Jul 2019 → 5 Jul 2019

Publication series

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

Conference

Conference	12th International Andrei P. Ershov Informatics Conference, PSI 2019
Country/Territory	Russian Federation
City	Novosibirsk
Period	02.07.2019 → 05.07.2019

OECD FOS+WOS

1.02.EX COMPUTER SCIENCE, THEORY & METHODS

Research areas

Computable analysis, Computable topology, Lifted domain presentation, Reliable computation

ID: 23144482