Journal of Formalized Reasoning
Jump to navigation
Jump to search
Discipline | Mathematical formalization |
---|---|
Language | English |
Edited by | Andrea Asperti |
Publication details | |
History | 2008–present |
Publisher | University of Bologna (Italy) |
Frequency | Biannual |
Yes | |
Standard abbreviations | |
ISO 4 | J. Formaliz. Reason. |
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
Categories:
- Articles with short description
- Short description is different from Wikidata
- Biannual journals (infobox)
- Computer science journals
- Open access journals
- Reasoning
- Academic journals established in 2008
- Biannual journals
- University of Bologna
- English-language journals
- All stub articles
- Computer science journal stubs