Explore All Access
Check if your research matches the topics covered in Journal of Formalized Reasoning?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Journal of Formalized Reasoning : Impact Factor & More
eISSN: 1972-5787pISSN: 1972-5787
Open AccessShare this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
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. Less
Journal of Formalized Reasoning Key Metrics
CiteScore 
1.7
SJR
Q3Mathematics (all)
SNIP
0.48
Journal of Formalized Reasoning Journal Specifications
Indexed in the following public directories
DOAJ 
SJR
| 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 | |
| Information for authors | |
| Author instructions | Visit website |
| Copyright Details | Visit website |
| Deposit Policy | Sherpa/Romeo |
| License type | CC BY |
| OA statement | Visit website |
View less
Planning to publish in Journal of Formalized Reasoning ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
FAQs on Journal of Formalized Reasoning
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 is 1972-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.
