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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2014}}

Papers

@inproceedings{SCSS2014:νZ_Maximal_Satisfaction_with,
  author    = {Nikolaj Bjorner and Anh-Dung Phan},
  title     = {ν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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xbn},
  doi       = {10.29007/jmxj},
  pages     = {1-9},
  year      = {2014}}


@inproceedings{SCSS2014:Meaning_Formulas_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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xnX},
  doi       = {10.29007/zd7s},
  pages     = {10-11},
  year      = {2014}}


@inproceedings{SCSS2014:Towards_amortized_type_system,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/DLWj},
  doi       = {10.29007/v2f2},
  pages     = {12-26},
  year      = {2014}}


@inproceedings{SCSS2014:Machine_Learning_Coq_Proof,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/2gK},
  doi       = {10.29007/lmmg},
  pages     = {27-34},
  year      = {2014}}


@inproceedings{SCSS2014:PDT_Logic_Stream_Reasoning,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6nC},
  doi       = {10.29007/ttzg},
  pages     = {35-46},
  year      = {2014}}


@inproceedings{SCSS2014:refutation_procedure_proving_satisfiability,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/zMn},
  doi       = {10.29007/jfwc},
  pages     = {47-61},
  year      = {2014}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Nzl},
  doi       = {10.29007/c4kg},
  pages     = {62-76},
  year      = {2014}}