Mathematical Structures in Computer Science Q2 Unclaimed
Mathematical Structures in Computer Science is a journal indexed in SJR in Mathematics (miscellaneous) and Computer Science Applications with an H index of 46. It has a price of 1626,56 €. It has an SJR impact factor of 0,486 and it has a best quartile of Q2. It has an SJR impact factor of 0,486.
Type: Journal
Type of Copyright:
Languages:
Open Access Policy: Open Choice
Type of publications:
Publication frecuency: -
1626,56 €
Inmediate OANPD
Embargoed OA0 €
Non OAMetrics
0,486
SJR Impact factor46
H Index32
Total Docs (Last Year)133
Total Docs (3 years)1210
Total Refs94
Total Cites (3 years)122
Citable Docs (3 years)0.59
Cites/Doc (2 years)37.81
Ref/DocOther journals with similar parameters
Comptes Rendus Mathematique Q2
Journal of Approximation Theory Q2
Siberian Mathematical Journal Q2
Acta Mathematica Scientia Q2
Studia Mathematica Q2
Compare this journals
Aims and Scope
Best articles by citations
Varieties generated by languages with poset operations
View moreHigher dimensional automata revisited
View moreHomotopy invariants of higher dimensional categories and concurrency in computer science
View moreExtending partial combinatory algebras
View moreFromlambda to p; or, Rediscovering continuations
View moreUnique decomposition categories, Geometry of Interaction and combinatory logic
View moreCategory-based constraint logic
View moreOn the number of fixed points of a combinator in lambda calculus
View moreA simple process algebra based on atomic actions with resources
View moreMinimal realization in bicategories of automata
View moreUnique factorisation lifting functors and
View moreRelating operational and denotational semantics for
View moreOn permuting cut with contraction
View moreDomain equations for probabilistic processes
View moreIntersection types and bounded polymorphism
View moreA simple proof of the undecidability of strong normalisation
View moreSyntactic composition of top-down tree transducers is short cut fusion
View moreObsessional experiments for linear logic proof-nets
View moreHidden coinduction:
View moreA categorical model for higher order imperative programming
View moreIntroduction
View moreA categorical version of the BrouwerHeytingKolmogorov interpretation
View morePerpetuality in a named lambda calculus with
View moreStructured transition systems with parametric observations: observational
View more
Comments