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]
Author:  Leitsch, Alexander

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Leitsch, Alexander Towards a clausal analysis of cut-eliminationArtikel Article2006