Skip to content Skip to footer

Mathematical Structures in Computer Science

ISSNs: 0960-1295

Additional searchable ISSN (electronic): 1469-8072

Cambridge University Press

Scopus rating (2023): CiteScore 1.5 SJR 0.486 SNIP 0.733

Journal

Titles
  • Mathematical Structures in Computer Science
  • MSCS. Mathematical structures in computer science
ISSNs0960-1295
Additional searchable ISSN (electronic)1469-8072
PublisherCambridge University Press
ZDB-ID1070265-9
ZDB-ID2002549-X

Keywords

ASJC Scopus subject areas

Library keywords

Related content

Extensions of Unification Modulo ACUI

Baader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626 30 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Model Checking for Performability

Baier, C., Hahn, E. M., Haverkort, B. R., Herrmanns, H. & Katoen, J.-P., 2013, In: Mathematical Structures in Computer Science. 23, 4, p. 751-795 45 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (2)