Journal of Formalized Reasoning

Print ISSN: None

Electronic ISSN: 1972-5787

Basic Info

  • Publisher: University of Bologna
  • Country: italy
  • Date added to EuroPub 2018/Jan/21

Subject & More

LCC Subject Category: Mathematics, Science Education

Publisher's keywords: Formalization, Verification, Checking, Reasoning, Mathematics

  • Language of fulltext: english
  • Time from submission to publication: 25 Weeks

Publication Charges

  • Article Processing Charges (APCs): No
  • Submission charges: No
  • Waiver policy for charges? No

Open access & licensing

  • Type of License: CC BY
  • Open Access Statement: Yes
  • Year open access content began: 2008
  • Does the author retain unrestricted copyright? True
  • Does the author retain publishing rights? True

Best practice polices

  • Permanent article identifier: DOI
  • Content digitally archived in:
  • Deposit policy registered in: Sherpa/Romeo

Impact Factor