Default: Mathematical Structures in Computer Science

ISSN: 0960-1295

Journal Home

Journal Guideline

Mathematical Structures in Computer Science Q2 Unclaimed

Cambridge University Press United Kingdom
Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

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: -

Price

1626,56 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

Mathematical Structures in Computer Science

0,486

SJR Impact factor

46

H Index

32

Total Docs (Last Year)

133

Total Docs (3 years)

1210

Total Refs

94

Total Cites (3 years)

122

Citable Docs (3 years)

0.59

Cites/Doc (2 years)

37.81

Ref/Doc

Comments

No comments ... Be the first to comment!



Best articles by citations

Varieties generated by languages with poset operations

View more

Higher dimensional automata revisited

View more

Homotopy invariants of higher dimensional categories and concurrency in computer science

View more

Extending partial combinatory algebras

View more

Fromlambda to p; or, Rediscovering continuations

View more

Unique decomposition categories, Geometry of Interaction and combinatory logic

View more

Category-based constraint logic

View more

On the number of fixed points of a combinator in lambda calculus

View more

A simple process algebra based on atomic actions with resources

View more

Minimal realization in bicategories of automata

View more

Unique factorisation lifting functors and

View more

Relating operational and denotational semantics for

View more
SHOW MORE ARTICLES

On permuting cut with contraction

View more

Domain equations for probabilistic processes

View more

Intersection types and bounded polymorphism

View more

A simple proof of the undecidability of strong normalisation

View more

Syntactic composition of top-down tree transducers is short cut fusion

View more

Obsessional experiments for linear logic proof-nets

View more

Hidden coinduction:

View more

A categorical model for higher order imperative programming

View more

Introduction

View more

A categorical version of the BrouwerHeytingKolmogorov interpretation

View more

Perpetuality in a named lambda calculus with

View more

Structured transition systems with parametric observations: observational

View more

FAQS