Journal of Automated Reasoning

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Journal of Automated Reasoning
 
e-ISSN
1573-0670
 
ISSN
0168-7433
 
Publisher Herausgeber
SPRINGER
 

Publications Publikationen

Filter:
Author:  Lolic, Anela

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

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Lolic, Anela Extraction of Expansion TreesArtikel Article 2019
2Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021