Journal of Formalized Reasoning

Journal of Formalized Reasoning
Stato	Italia
Lingua	inglese
Periodicità	annuale
Genere	sistemi formali
Formato	PDF
Fondazione	2008
Editore	Università di Bologna
Diffusione cartacea	on-line (2008)
Direttore	Andrea Asperti
ISSN	1972-5787 (WC · ACNP)
Sito web	jfr.unibo.it/ e jfr.cib.unibo.it

Modifica dati su Wikidata · Manuale

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.

Comitato editoriale

Andrea Asperti, Università di Bologna (direttore scientifico)
Jeremy Avigad, Carnegie Mellon University
Michael Beeson, San Jose State University
Thierry Coquand, Università di tecnologia Chalmers
Herman Geuvers, Radboud University
Georges Gonthier, Microsoft Research Cambridge
John Harrison, Intel Corporation
Xavier Leroy, INRIA Paris
Cesar Munoz, NASA LaRC

Christine Paulin-Morhing, LRI
Peter Sewell, Università di Cambridge
Natarajan Shankar, SRI International
Carlos Simpson, Università di Nizza
Andrzej Trybulec, Università di Białystok
Freek Wiedijk, Radboud University

Collegamenti esterni

(EN) Sito ufficiale, su jfr.unibo.it.
Sito ufficiale, su jfr.cib.unibo.it.
(EN) Journal of Formalized Reasoning, su Directory of Open Access Journals, Infrastructure Services for Open Access.
Journal of Formalized Reasoning su Mathscinet