Journal of Formalized Reasoning

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.

Abstracting and indexing

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.