Journal of Formalized Reasoning

Da Wikipedia, l'enciclopedia libera.
Journal of Formalized Reasoning
Stato Italia Italia
Lingua inglese
Periodicità annuale
Genere sistemi formali
Formato PDF
Editore Università di Bologna
Diffusione cartacea on-line (2008)
Direttore Andrea Asperti
ISSN 1972-5787
Sito web http://jfr.unibo.it
 

Journal of Formalized Reasoning (JFR) è una rivista peer-reviewed che pubblica articoli riguardanti la formalizzazione in ogni area della matematica, e toccano ambiti come la matematica costruttiva, gli algoritmi.

JFR è nato nel 2008, ed è mantenuto da AlmaDL, biblioteca digitale dell'Università di Bologna. Il periodo di review è breve, dato che la maggior parte degli articoli viene revisionato entro tre mesi dalla sottomissione e vengono pubblicati immediatamente dopo l'accetazione.


Comitato editoriale[modifica | modifica sorgente]

Collegamenti esterni[modifica | modifica sorgente]