Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Andrei Voronkov; Irina Virbitskaite

doi:10.1007/978-3-662-46823-4

Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Andrei Voronkov (Editor), Irina Virbitskaite (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	8974
ISBN (Print)	978-3-662-46822-7
DOIs	https://doi.org/10.1007/978-3-662-46823-4
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-662-46823-4

Cite this

@inproceedings{5abfbb23b0d34f77b14ac4eabae9bbc5,

title = "Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers",

author = "Andrei Voronkov and Irina Virbitskaite",

year = "2015",

doi = "10.1007/978-3-662-46823-4",

language = "English",

isbn = "978-3-662-46822-7",

volume = "8974",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

}

Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. / Voronkov, Andrei (Editor); Virbitskaite, Irina (Editor).
Lecture Notes in Computer Science. Vol. 8974 Springer Nature, 2015. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

A2 - Voronkov, Andrei

A2 - Virbitskaite, Irina

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-662-46823-4

DO - 10.1007/978-3-662-46823-4

M3 - Conference contribution

SN - 978-3-662-46822-7

VL - 8974

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

ER -