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 8/25/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.