Journal of Formalized Reasoning : Impact Factor & More

eISSN: 1972-5787pISSN: 1972-5787
JournalOpen Access

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

Overview
Publisher UNIV STUDI BOLOGNA, ALMADL JOURNALS
Language English
Frequency Annual
Publication Time25
Editorial Review ProcessAnonymous peer review
General Details
LanguageEnglish
Society/Institute/SponsorUniversity of Bologna – Dipartimento di Matematica
FrequencyAnnual
Publication Start Year2008
Publisher URLVisit website
Website URLVisit website
Publication Details
Other chargesVisit website
Publication Time 25
Editorial Review Detail
Editorial TeamVisit website
Review ProcessAnonymous peer review
Review UrlVisit website
Information for authors
Author instructionsVisit website
Copyright DetailsVisit website
Deposit PolicySherpa/Romeo
License typeCC BY
OA statementVisit website
View less
NEW

Submissions Pack

Expert Services + AI tools

One subscription packed with expert publication services and AI tools to get you published

Brought to you by
  • Journal Selection Service

    Benefit from our experts' recommendations of 3-5 best-suited journals, accompanied by a detailed Journal Selection report explaining the choices. Make informed decisions.

  • Journal Submission Service

    Streamline your submission process with meticulous manuscript formatting to meet journal guidelines, crafting a tailored cover letter for the editor, and hassle-free account creation and submission

Bundle of AI tools for your research needs

Journal Finder, Paperpal, R Discovery, MindTheGraph and more

View benefits in detail

Buy now for a special Launch price!

$199
$249

Planning to publish in Journal of Formalized Reasoning ?

Upload your Manuscript to get

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Free Report

Check if your research matches the topics covered in Journal of Formalized Reasoning?

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your research

FAQs on Journal of Formalized Reasoning

How long has Journal of Formalized Reasoning been actively publishing? Faqs

Journal of Formalized Reasoning has been in operation since 2008 till date.

What is the publishing frequency of Journal of Formalized Reasoning? Faqs

Journal of Formalized Reasoning published with a Annual frequency.

What is the eISSN & pISSN for Journal of Formalized Reasoning? Faqs

For Journal of Formalized Reasoning, eISSN is 1972-5787 and pISSN is 1972-5787.

What is Citescore for Journal of Formalized Reasoning? Faqs

Citescore for Journal of Formalized Reasoning is 1.7.

What is SNIP score for Journal of Formalized Reasoning? Faqs

SNIP score for Journal of Formalized Reasoning is 0.48.

What is the SJR for Journal of Formalized Reasoning? Faqs

SJR for Journal of Formalized Reasoning is Q3.

Who is the publisher of Journal of Formalized Reasoning? Faqs

UNIV STUDI BOLOGNA, ALMADL JOURNALS is the publisher of Journal of Formalized Reasoning.