Volume
@proceedings{SCSS2014,
title = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{SCSS2014:Z__Maximal_Satisfaction,
author = {Nikolaj Bjorner and Anh-Dung Phan},
title = { \textbackslash{}ensuremath\{\textbackslash{}nu \} Z - Maximal Satisfaction with Z3},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {1--9},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xbn},
doi = {10.29007/jmxj}}
@inproceedings{SCSS2014:Meaning_Formulas_for_Syntax_Based,
author = {William Farmer},
title = {Meaning Formulas for Syntax-Based Mathematical Algorithms},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {10--11},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xnX},
doi = {10.29007/zd7s}}
@inproceedings{SCSS2014:Towards_an_amortized_type,
author = {Daniel Franzen and David Aspinall},
title = {Towards an amortized type system for JavaScript},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {12--26},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/DLWj},
doi = {10.29007/v2f2}}
@inproceedings{SCSS2014:Machine_Learning_of_Coq,
author = {Cezary Kaliszyk and Lionel Mamane and Josef Urban},
title = {Machine Learning of Coq Proof Guidance: First Experiments },
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {27--34},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2gK},
doi = {10.29007/lmmg}}
@inproceedings{SCSS2014:PDT_Logic_for_Stream,
author = {Karsten Martiny and Ralf Moeller},
title = {PDT Logic for Stream Reasoning in Multi-agent Systems},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {35--46},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6nC},
doi = {10.29007/ttzg}}
@inproceedings{SCSS2014:refutation_procedure_for_proving,
author = {Marisa Navarro and Fernando Orejas},
title = {A refutation procedure for proving satisfiability of constraint specifications on XML documents},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {47--61},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zMn},
doi = {10.29007/jfwc}}
@inproceedings{SCSS2014:Parametric_Strategy_Iteration,
author = {Helmut Seidl and Thomas Martin Gawlitza and Martin Schwarz},
title = {Parametric Strategy Iteration},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
pages = {62--76},
year = {2014},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Nzl},
doi = {10.29007/c4kg}}