Journal of Formalized Reasoning

1972-5787 (Online)

About

Publishing with this journal

Expect on average 25 weeks from submission to publication.

Best practice

The author retains unrestricted copyrights and publishing rights.

→ Learn more about their copyright policy.

Articles digitally archived in:

  • A national library: Biblioteche Nazionali Centrali di Roma e Firenze - Magazzini Digitali

→ Find out about their archiving policy.

Permanent article identifier:

  • DOI

Journal metadata

Publisher
University of Bologna , Italy
Other organisation
University of Bologna – Dipartimento di Matematica
Manuscripts accepted in
English

Added 29 April 2009 • Updated 13 August 2020