Mathematical Structures in Computer Science
Mathematical Structures in Computer Science is a journal indexed in SJR in Mathematics (miscellaneous) and Computer Science Applications with an H index of 48. It has a price of 1626,56 €. It has an SJR impact factor of 0,426 and it has a best quartile of Q2. It has an SJR impact factor of 0,426.
Metrics
Scimago and CountryOfPapers database fields
SJR Impact
0,426
H-index
48
Docs (year)
50
Docs 3y
122
Total refs
1602
Cites 3y
111
Citable 3y
110
Cites/Doc 2y
0.72
Ref/Doc
32.04
Immediate OA
1626,56 €
Embargoed OA
NPD
Non OA / Submission
0 €
Name good journals. Call out predatory ones.
Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.
Researcher reviews
Best articles by citations
Action semantics reasoning about functional programs
View moreWhen Scott is weak on the top
View moreCollections, sets and types
View moreCoinductive characterizations of applicative structures
View moreCategory-based constraint logic
View moreCategorical properties of logical frameworks
View moreCategorical logic of names and abstraction in action calculi
View moreAn enrichment theorem for an axiomatisation of
View moreAn axiomatization of the category of Petri net computations
View moreAn axiomatization of partial n-place operations
View moreAlgorithms for categorical equivalence
View moreAlgebraic properties of processes for Local Action
View moreAlambda-calculus with explicit weakening and explicit
View moreA categorical model for higher order imperative programming
View moreAbstract and behaviour module specifications
View moreA uniform approach to domain theory in realizability models
View moreA theory of classes: proofs and models
View moreA simple proof of the undecidability of strong normalisation
View moreA simple process algebra based on atomic actions with resources
View moreA semantics for lambda calculi with resources
View moreA semantic characterisation of the correctness of a proof net
View moreA general method for proving the normalization
View moreA filter model for mobile processes
View moreA computationally adequate model for overloading via domain-valued
View more