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.

Journal of Formalized Reasoning

Discipline	Mathematical formalization
Language	English
Edited by	Andrea Asperti
Publication details
History	2008–present
Publisher	University of Bologna (Italy)
Frequency	Biannual
Open access	Yes
Standard abbreviations ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt )
ISO 4	J. Formaliz. Reason.
Indexing CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus · W&L
ISSN	1972-5787
OCLC no.	456198191
Links
Journal homepage Online access Online archive

Abstracting and indexing

The journal is abstracted and indexed in Scopus, MathSciNet, and Zentralblatt MATH.

External links

• Official website