SCSS 2016: BibTeX Entries

Volume

@proceedings{SCSS2016,
  title     = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2016}}

Papers

@inproceedings{SCSS2016:Automatic_Staging_via_Partial,
  author    = {Kenichi Asai and Yukiyoshi Kameyama},
  title     = {Automatic Staging via Partial Evaluation Techniques},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Prd},
  doi       = {10.29007/rfbk},
  pages     = {1-13},
  year      = {2016}}


@inproceedings{SCSS2016:From_Tarski_Descartes_Formalization,
  author    = {Pierre Boutry and Gabriel Braun and Julien Narboux},
  title     = {From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/ZvfW},
  doi       = {10.29007/k47p},
  pages     = {14-28},
  year      = {2016}}


@inproceedings{SCSS2016:Space_Analysis_Predicate_Logic,
  author    = {David Cerna and Wolfgang Schreiner and Temur Kutsia},
  title     = {Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Jrc},
  doi       = {10.29007/jnj2},
  pages     = {29-41},
  year      = {2016}}


@inproceedings{SCSS2016:Implementing_stepper_using_delimited,
  author    = {Youyou Cong and Kenichi Asai},
  title     = {Implementing a stepper using delimited continuations},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7qlb},
  doi       = {10.29007/l2wb},
  pages     = {42-54},
  year      = {2016}}


@inproceedings{SCSS2016:Expression_Compatibility_Problem,
  author    = {Seyed Hossein Haeri and Sibylle Schupp},
  title     = {Expression Compatibility Problem},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/N5S},
  doi       = {10.29007/xlbn},
  pages     = {55-67},
  year      = {2016}}


@inproceedings{SCSS2016:Mathematica_module_Conformal_Geometric,
  author    = {Mitsuhiro Kondo and Takuya Matsuo and Yoshihiro Mizoguchi and Hiroyuki Ochiai},
  title     = {A Mathematica module for Conformal Geometric Algebra and Origami Folding},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8jDf},
  doi       = {10.29007/6fc5},
  pages     = {68-80},
  year      = {2016}}


@inproceedings{SCSS2016:Data_Structure_Handle_Large,
  author    = {Baudouin Le Charlier and Mêton Mêton Atindehou},
  title     = {A Data Structure to Handle Large Sets of Equal Terms},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/5Wj},
  doi       = {10.29007/hsbm},
  pages     = {81-94},
  year      = {2016}}


@inproceedings{SCSS2016:rewrite_based_computational_model,
  author    = {Mircea Marin and Temur Kutsia and Besik Dundua},
  title     = {A rewrite-based computational model for functional logic programming},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KJr},
  doi       = {10.29007/3ks9},
  pages     = {95-106},
  year      = {2016}}


@inproceedings{SCSS2016:Verification_brick_Wang_tiling,
  author    = {Toshiaki Matsushima and Yoshihiro Mizoguchi and Alexandre Derouet-Jourdan},
  title     = {Verification of a brick Wang tiling algorithm},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4mz},
  doi       = {10.29007/2m5f},
  pages     = {107-116},
  year      = {2016}}


@inproceedings{SCSS2016:Towards_Verified_Construction_Planar,
  author    = {Sosuke Moriguchi and Mizuki Goto and Kazuko Takahashi},
  title     = {Towards Verified Construction for Planar Class of a Qualitative Spatial Representation},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Zv},
  doi       = {10.29007/zzft},
  pages     = {117-129},
  year      = {2016}}


@inproceedings{SCSS2016:Determining_automatically_compass_straightedge,
  author    = {Pascal Mathis and Pascal Schreck},
  title     = {Determining automatically compass and straightedge unconstructibility in triangles},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cw},
  doi       = {10.29007/b28w},
  pages     = {130-142},
  year      = {2016}}


@inproceedings{SCSS2016:Compass_free_Navigation_Mazes,
  author    = {Phil Scott and Jacques Fleuriot},
  title     = {Compass-free Navigation of Mazes},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/bnqW},
  doi       = {10.29007/9djp},
  pages     = {143-155},
  year      = {2016}}


@inproceedings{SCSS2016:Critical_Pair_Analysis_Nominal,
  author    = {Takaki Suzuki and Kentaro Kikuchi and Takahito Aoto and Yoshihito Toyama},
  title     = {Critical Pair Analysis in Nominal Rewriting},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8LkF},
  doi       = {10.29007/7q54},
  pages     = {156-168},
  year      = {2016}}


@inproceedings{SCSS2016:Bit_size_reduction_triangular,
  author    = {Tetsuro Yamashita and Xavier Dahan},
  title     = {Bit-size reduction of triangular sets in two and three variables},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/mWD},
  doi       = {10.29007/nz5x},
  pages     = {169-182},
  year      = {2016}}