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