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.

External links

This article is issued from Wikipedia - version of the Tuesday, August 25, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.