default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSCSS 2013: Castle of Hagenberg, Austria
- Laura Kovács, Temur Kutsia:
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria. EPiC Series in Computing 15, EasyChair 2013 - Bruno Buchberger:
Mathematics of 21st Century: A Personal View. 1 - Wei Li:
A Semantic Framework for Program Debugging. 2 - Joël Ouaknine:
Decision Problems for Linear Recurrence Sequences. 3 - María Alpuente
, Demis Ballis, Francisco Frechina, Julia Sapiña:
Parametric Exploration of Rewriting Logic Computations. 4-18 - Marco Comini, Luca Torella:
Automatic Inference of Term Equivalence in Term Rewriting Systems. 19-30 - Marco Comini, Luca Torella:
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. 31-49 - Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi:
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. 50-63 - Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada:
Automated Verification of Equivalence on Quantum Cryptographic Protocols. 64-69 - Severin Neumann:
A modified parallel F4 algorithm for shared and distributed memory architectures. 70-80 - Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura:
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. 81-92 - Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto:
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. 93-107 - Matan Ziv-Av, Mikhail H. Klin:
Computer algebra investigation of known primitive triangle-free strongly regular graphs. 108-123 - Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Usage of Invariants for Symbolic Verification of Requirements. 124 - Róbert Vajda:
Lebesgue Constants and Optimal Node Systems via Symbolic Computations. 125
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-29 21:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
