Journal of Formalized Reasoning

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Journal of Formalized Reasoning  
Abbreviated title (ISO 4)
J. Form. Reason.
Discipline Mathematical formalization
Language English
Edited by Andrea Asperti
Publication details
Publisher
Publication history
2008-present
Frequency Biannual
Yes
Indexing
ISSN 1972-5787
OCLC no. 456198191
Links

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. Accepted papers are published on the Internet immediately upon acceptance.

Abstracting and indexing[edit]

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

External links[edit]