SCSS 2013: Volume InformationSCSS 2013. 5th International Symposium on Symbolic Computation in Software Science14 articles•125 pages•Published: June 19, 2013 Papers| Bruno Buchberger 1 | | Wei Li 2 | | Joel Ouaknine 3 | | María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña 4-18 | | Marco Comini and Luca Torella 19-30 | | Marco Comini and Luca Torella 31-49 | | Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi 50-63 | | Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano and Hideki Sakurada 64-69 | | Severin Neumann 70-80 | | Rachid Rebiha, Nadir Matringe and Arnaldo Vieira Moura 81-92 | | Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto 93-107 | | Matan Ziv-Av and Mikhail Klin 108-123 | | Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Oleksandr Letychevskyi and Vladimir Peschanenko 124 | | Robert Vajda 125 |
Keyphrasesalgebraic number, automated verification, BB84, bottom-up semantics, computational model, computational origami, computer algebra, Debugging, Distributed memory architecture, elecronic cash protocol, equitable partitions, F4 algorithm, formal methods, Geometrical constraint solving, Groebner basis, Gröbner basis, induction scheme, invariants, knot fold, Lebesgue constant, linear algebra, Maude, MPI, polynomial interpolation, process calculi, program animation, property-oriented specifications, quantifier elimination, quantum cryptography, Requirements Specification, resultant, rewriting logic, semantics-based inference methods, Slicing, static analysis, stepping, strongly regular graphs, symbolic verification, term rewriting, Term Rewriting Systems2, termination analysis, theorem proving, theorem proving methods. |
|
