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 › Chapter in book/anthology/report › 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 (2022): CiteScore 2 SJR 1.209 SNIP 1.392
Journal
College Publications, United Kingdom
Journal
ISSNs: 1529-3785
Association for Computing Machinery (ACM), New York, United States
Scopus rating (2022): CiteScore 2.6 SJR 0.618 SNIP 1.071
Journal
ISSNs: 0955-792X
Additional searchable ISSN (Electronic): 1465-363X
Oxford University Press, Oxford, United Kingdom
Scopus rating (2022): CiteScore 1.7 SJR 0.561 SNIP 0.949
Journal
ISSNs: 1860-5974
Additional searchable ISSN (Electronic): 1860-5974
Department of Theoretical Computer Science, Technical University of Braunschweig, Germany
Scopus rating (2022): CiteScore 1.7 SJR 0.635 SNIP 0.888
Indexed in DOAJ
Journal
Bourgaux, Camille (Recipient), Carral Martinez, David (Recipient), Krötzsch, Markus (Recipient), Rudolph, Sebastian (Recipient) & Thomazo, Michaël (Recipient), 2021
Prize: Publication/Conference prize
Krötzsch, Markus (Recipient), Rudolph, Sebastian (Recipient) & Hitzler, Pascal (Recipient), 2010
Prize: Publication/Conference prize