Journal of Symbolic Computation

Title Titel
Journal of Symbolic Computation
 
e-ISSN
1095-855X
 
ISSN
0747-7171
 
Publisher Herausgeber
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
 
Publisher's Address Herausgeber Adresse
24-28 OVAL RD, LONDON, ENGLAND, NW1 7DX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gruber, David ; Peternell, Martin Conchoid surfaces of quadricsArtikel Article2013
2Bjørner, Nikolaj ; Kovacs, Laura ForewordArtikel ArticleDec-2012
3Bouhoula, Adel ; Buchberger, Bruno ; Kovács, Laura ; Kutsia, Temur Foreword to the Special Issue on Symbolic Computation in Software ScienceArtikel Article 2015
4Giese, Martin ; Ireland, Andrew ; Kovacs, Laura Introduction to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about LoopsArtikel Article2010
5Gallet, Matteo ; Nawratil, Georg ; Schicho, Josef Liaison LinkagesArtikel Article 2017
6Peternell, Martin Rational Two-Parameter Families of Spheres and Rational Offset SurfacesArtikel Article2010
7Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and ProgrammingArtikel Article2005
8Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and Programming (Special Issue, Journal of Symbolic Computation): EditorialArtikel Article2005
9Barkatou, Moulay A. ; Jaroschek, Maximilian Removing apparent singularities of linear difference systemsArtikel Article 2019
10Knoop 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
11Baaz, Matthias ; Leitsch, Alexander Towards a clausal analysis of cut-eliminationArtikel Article2006