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