Aims and Scope
The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.
Key Metrics
1.7
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
Q3
Mathematics (all)
SJR
- Q2 Mathematics (all)
- Q3 Computer Science (miscellaneous)
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
0.48
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Journal Specifications
| Overview | |
| Publisher | UNIV STUDI BOLOGNA, ALMADL JOURNALS |
| Language | English |
| Frequency | Annual |
| Publication Time | 25 |
| Editorial Review Process | Anonymous peer review |
| General Details | |
| Language | English |
| Society/Institute/Sponsor | University of Bologna – Dipartimento di Matematica |
| Frequency | Annual |
| Publication Start Year | 2008 |
| Publisher URL | Visit website |
| Website URL | Visit website |
| Publication Details | |
| Other charges | Visit website |
| Publication Time | 25 |
| Editorial Review Detail | |
| Editorial Team | Visit website |
| Review Process | Anonymous peer review |
| Review Url | Visit website |
| Information for authors | |
| Author instructions | Visit website |
| Copyright Details | Visit website |
| Deposit Policy | Sherpa/Romeo |
| License type | CC BY |
| OA statement | Visit website |
Planning to publish in Journal of Formalized Reasoning ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperFAQs
How long has Journal of Formalized Reasoning been actively publishing?
Journal of Formalized Reasoning has been in operation since 2008 till date.
What is the publishing frequency of Journal of Formalized Reasoning ?
Journal of Formalized Reasoning published with a Annual frequency.
What is the eISSN & pISSN for Journal of Formalized Reasoning ?
For Journal of Formalized Reasoning,eISSN is 1972-5787 and pISSN is1972-5787.
What is Citescore for Journal of Formalized Reasoning ?
Citescore for Journal of Formalized Reasoning is 1.7.
What is SNIP score for Journal of Formalized Reasoning ?
SNIP score for Journal of Formalized Reasoning is 0.48.
What is the SJR for Journal of Formalized Reasoning ?
SJR for Journal of Formalized Reasoning is Q3.
Who is the publisher of Journal of Formalized Reasoning ?
UNIV STUDI BOLOGNA, ALMADL JOURNALS is the publisher of Journal of Formalized Reasoning.