Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	14-11

Fields of science

@techreport{81524bd262a24c239c7a05f55b534841,

title = "Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers",

author = "Teimuraz Kutsia and Andrei Voronkov",

year = "2014",

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

number = "14-11",

type = "WorkingPaper",

institution = "RISC, JKU",

}

TY - UNPB

T1 - Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers

AU - Kutsia, Teimuraz

AU - Voronkov, Andrei

PY - 2014

Y1 - 2014

UR - http://www.easychair.org/smart-program/SCSS2014/index.html

M3 - Preprint

T3 - RISC Report Series

BT - Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers

PB - RISC, JKU

CY - Hagenberg, Linz

ER -