Journal of Symbolic Computation

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Journal of Symbolic Computation
 
e-ISSN
0747-7171
 
ISSN
0747-7171
 
Publisher Herausgeber
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gallet, Matteo ; Nawratil, Georg ; Schicho, Josef Liaison LinkagesArtikel Article2017
2Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and ProgrammingArtikel Article2005
3Barkatou, Moulay A. ; Jaroschek, Maximilian Removing apparent singularities of linear difference systemsArtikel Article2019
4Knoop Jens - 2017 - Replacing Conjectures by Positive Knowledge Inferring Proven...pdf.jpgKnoop, Jens ; Kovács, Laura ; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic ExecutionArticle Artikel 2017