SCSS 2014:BibTeX Entries

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}}