Chair of Computational Logic
Organisational unit: Chair
Organisational unit: Chair
Person: Current
Research output: Contribution to journal › Research article › Contributed › peer-review
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
ISSNs: 0195-6698
Elsevier, Netherlands
Scopus rating (2021): CiteScore 1.7 SJR 0.96 SNIP 1.282
Journal
College Publications, United Kingdom
Journal
ISSNs: 1529-3785
Association for Computing Machinery (ACM), New York, United States
Scopus rating (2021): CiteScore 2.6 SJR 0.755 SNIP 0.987
Journal
ISSNs: 0955-792X
Additional searchable ISSN (Electronic): 1465-363X
Oxford University Press, Oxford, United Kingdom
Scopus rating (2021): CiteScore 1.6 SJR 0.522 SNIP 0.886
Journal
ISSNs: 1860-5974
Additional searchable ISSN (Electronic): 1860-5974
Department of Theoretical Computer Science, Technical University of Braunschweig, Germany
Scopus rating (2021): CiteScore 2 SJR 0.696 SNIP 1.024
Indexed in DOAJ
Journal