ISSN:

Journal Home

Journal of Formalized Reasoning Q4 Unclaimed

Alma Mater Studiorum (Bologna) Italy

Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

Journal of Formalized Reasoning is a journal indexed in SJR in Mathematics (miscellaneous) and Computer Science (miscellaneous) with an H index of 9. It is an CC BY Journal with a Single blind Peer Review review system The scope of the journal is focused on formalization, verification, checking, reasoning. It has an SJR impact factor of 0,134 and it has a best quartile of Q4. It is published in English. It has an SJR impact factor of 0,134.

Type: Journal

Type of Copyright: CC BY

Languages: English

Open Access Policy: Open Access

Type of publications:

Publication frecuency: -

Categories: Computer Science (miscellaneous) (Q4) Mathematics (miscellaneous) (Q4)

Price

- €

Inmediate OA

NPD

Embargoed OA

- €

Non OA

Metrics

0,134

SJR Impact factor

9

H Index

0

Total Docs (Last Year)

1

Total Docs (3 years)

0

Total Refs

1

Total Cites (3 years)

1

Citable Docs (3 years)

0

Cites/Doc (2 years)

0.0

Ref/Doc

Comments

No comments ... Be the first to comment!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

RAIRO - Theoretical Informatics and Applications Q4
Mathematical Notes of NEFU Q4
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg Q4
Missouri Journal of Mathematical Sciences Q4
Vestnik St. Petersburg University: Mathematics Q4

Compare this journals

Aims and Scope

Formalization Verification Checking Reasoning