Journal of Formalized Reasoning : Impact Factor & More
eISSN: 1972-5787pISSN: 1972-5787
Open AccessShare this on:
Aims and Scope of Journal of Formalized Reasoning
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
Key Metrics
CiteScore 
1.7
SJR
Q3Mathematics (all)
SNIP
0.48
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
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? 
What is the publishing frequency of Journal of Formalized Reasoning?
What is the eISSN & pISSN for Journal of Formalized Reasoning?
What is Citescore for Journal of Formalized Reasoning?
What is SNIP score for Journal of Formalized Reasoning?
What is the SJR for Journal of Formalized Reasoning?
Who is the publisher of Journal of Formalized Reasoning?
