Volume
@proceedings{SCSS2013,
title = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{SCSS2013:Mathematics_of_21st_Century,
author = {Bruno Buchberger},
title = {Mathematics of 21st Century: A Personal View},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {1},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vCc},
doi = {10.29007/19ls}}
@inproceedings{SCSS2013:Semantic_Framework_for_Program,
author = {Wei Li},
title = {A Semantic Framework for Program Debugging},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {2},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qgz},
doi = {10.29007/q2h6}}
@inproceedings{SCSS2013:Decision_Problems_for_Linear,
author = {Joel Ouaknine},
title = {Decision Problems for Linear Recurrence Sequences},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {3},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/z},
doi = {10.29007/tpxx}}
@inproceedings{SCSS2013:Parametric_Exploration_of_Rewriting,
author = {Mar\textbackslash{}'ia Alpuente and Demis Ballis and Francisco Frechina and Julia Sapi\textbackslash{}\~{}\{n\}a},
title = {Parametric Exploration of Rewriting Logic Computations},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {4--18},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bF8j},
doi = {10.29007/zm5g}}
@inproceedings{SCSS2013:Automatic_Inference_of_Term,
author = {Marco Comini and Luca Torella},
title = {Automatic Inference of Term Equivalence in Term Rewriting Systems},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {19--30},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5LqG},
doi = {10.29007/qsmm}}
@inproceedings{SCSS2013:Condensed_Goal_Independent_Fixpoint_Semantics,
author = {Marco Comini and Luca Torella},
title = {A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {31--49},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Pzf},
doi = {10.29007/cpt8}}
@inproceedings{SCSS2013:Logical_and_Algebraic_Views,
author = {Fadoua Ghourabi and Tetsuo Ida and Kazuko Takahashi},
title = {Logical and Algebraic Views of a Knot Fold of a Regular Heptagon},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {50--63},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/37D3},
doi = {10.29007/v8hh}}
@inproceedings{SCSS2013:Automated_Verification_of_Equivalence,
author = {Takahiro Kubota and Yoshihiko Kakutani and Go Kato and Yasuhito Kawano and Hideki Sakurada},
title = {Automated Verification of Equivalence on Quantum Cryptographic Protocols},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {64--69},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ztz},
doi = {10.29007/95pj}}
@inproceedings{SCSS2013:modified_parallel_F4_algorithm,
author = {Severin Neumann},
title = {A modified parallel F4 algorithm for shared and distributed memory architectures},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {70--80},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wS5z},
doi = {10.29007/98fh}}
@inproceedings{SCSS2013:Generating_Asymptotically_Non_terminant_Initial,
author = {Rachid Rebiha and Nadir Matringe and Arnaldo Vieira Moura},
title = {Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs.},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {81--92},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Sn18},
doi = {10.29007/dq11}}
@inproceedings{SCSS2013:Data_Conversion_Method_between,
author = {Kazuko Takahashi and Shizuo Yoshimaru and Mizuki Goto},
title = {Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {93--107},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zfm},
doi = {10.29007/w5xk}}
@inproceedings{SCSS2013:Computer_algebra_investigation_of,
author = {Matan Ziv-Av and Mikhail Klin},
title = {Computer algebra investigation of known primitive triangle-free strongly regular graphs},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {108--123},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/BbN2},
doi = {10.29007/bdgp}}
@inproceedings{SCSS2013:Usage_of_Invariants_for,
author = {Alexander Letichevsky and Alexander Godlevsky and Anton Guba and Alexander Kolchin and Oleksandr Letychevskyi and Vladimir Peschanenko},
title = {Usage of Invariants for Symbolic Verification of Requirements},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {124},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/rS},
doi = {10.29007/2nr2}}
@inproceedings{SCSS2013:Lebesgue_Constants_and_Optimal,
author = {Robert Vajda},
title = {Lebesgue Constants and Optimal Node Systems via Symbolic Computations},
booktitle = {SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science},
editor = {Laura Kovacs and Temur Kutsia},
series = {EPiC Series in Computing},
volume = {15},
pages = {125},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/WtHl},
doi = {10.29007/89cm}}