Jump to content

Journal of Formalized Reasoning

From Wikipedia, the free encyclopedia
Journal of Formalized Reasoning
DisciplineMathematical formalization
LanguageEnglish
Edited byAndrea Asperti
Publication details
History2008–present
Publisher
FrequencyBiannual
Yes
Standard abbreviations
ISO 4J. Formaliz. Reason.
Indexing
ISSN1972-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

[edit]

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

[edit]