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 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.
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,426
SJR Impact factor48
H Index50
Total Docs (Last Year)122
Total Docs (3 years)1602
Total Refs111
Total Cites (3 years)110
Citable Docs (3 years)0.72
Cites/Doc (2 years)32.04
Ref/DocOther journals with similar parameters
Siberian Mathematical Journal Q2
Atti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, Rendiconti Lincei Matematica E Applicazioni Q2
Russian Mathematical Surveys Q2
Mediterranean Journal of Mathematics Q2
Michigan Mathematical Journal 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