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

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},
  pages     = {1--13},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Prd},
  doi       = {10.29007/rfbk}}

@inproceedings{SCSS2016:From_Tarski_to_Descartes,
  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},
  pages     = {14--28},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ZvfW},
  doi       = {10.29007/k47p}}

@inproceedings{SCSS2016:Space_Analysis_of_Predicate,
  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},
  pages     = {29--41},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Jrc},
  doi       = {10.29007/jnj2}}

@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},
  pages     = {42--54},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/7qlb},
  doi       = {10.29007/l2wb}}

@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},
  pages     = {55--67},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/N5S},
  doi       = {10.29007/xlbn}}

@inproceedings{SCSS2016:Mathematica_module_for_Conformal,
  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},
  pages     = {68--80},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8jDf},
  doi       = {10.29007/6fc5}}

@inproceedings{SCSS2016:Data_Structure_to_Handle,
  author    = {Baudouin Le Charlier and M\textbackslash{}\textasciicircum{}eton M\textbackslash{}\textasciicircum{}eton 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},
  pages     = {81--94},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5Wj},
  doi       = {10.29007/hsbm}}

@inproceedings{SCSS2016:rewrite_based_computational_model_for,
  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},
  pages     = {95--106},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KJr},
  doi       = {10.29007/3ks9}}

@inproceedings{SCSS2016:Verification_of_brick_Wang,
  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},
  pages     = {107--116},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4mz},
  doi       = {10.29007/2m5f}}

@inproceedings{SCSS2016:Towards_Verified_Construction_for,
  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},
  pages     = {117--129},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Zv},
  doi       = {10.29007/zzft}}

@inproceedings{SCSS2016:Determining_automatically_compass_and,
  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},
  pages     = {130--142},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cw},
  doi       = {10.29007/b28w}}

@inproceedings{SCSS2016:Compass_free_Navigation_of_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},
  pages     = {143--155},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/bnqW},
  doi       = {10.29007/9djp}}

@inproceedings{SCSS2016:Critical_Pair_Analysis_in,
  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},
  pages     = {156--168},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8LkF},
  doi       = {10.29007/7q54}}

@inproceedings{SCSS2016:Bit_size_reduction_of_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},
  pages     = {169--182},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mWD},
  doi       = {10.29007/nz5x}}