Journal of Symbolic Computation

View Statistics Email Alert RSS Feed

Journal description

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

Filter:
Date Issued:  [2000 TO 2023]
Date Issued:  [2000 TO 2009]

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

PreviewAuthor(s)TitleTypeIssue Date
1Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and ProgrammingArtikel Article2005
2Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and Programming (Special Issue, Journal of Symbolic Computation): EditorialArtikel Article2005
3Baaz, Matthias ; Leitsch, Alexander Towards a clausal analysis of cut-eliminationArtikel Article2006