The journal encourages submission of papers describing significant formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field.
A.Asperti (2007). Journal of Formalized Reasoning ISSN: 1972-5787. BOLOGNA : CIB Centro Inter-Bibliotecario.
Journal of Formalized Reasoning ISSN: 1972-5787
ASPERTI, ANDREA
2007
Abstract
The journal encourages submission of papers describing significant formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
