Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
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 | 252-261 |
Number of pages | 10 |
ISBN (Print) | 9783030374860 |
DOIs | |
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 |
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 | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 |
---|---|
Country/Territory | Russian Federation |
City | Novosibirsk |
Period | 02.07.2019 → 05.07.2019 |
ID: 23122166