Journal of Formalized Reasoning

1972-5787 (Online)

CC BY
Tick icon: journal was accepted after March 2014
Seal icon: awarded the DOAJ Seal
 

Homepage

Publisher: University of Bologna

Society/Institution: University of Bologna – Dipartimento di Matematica

Country of publisher: Italy

Platform/Host/Aggregator: Open Journal Systems

Date added to DOAJ: 29 Apr 2009

LCC Subject Category: Science: Mathematics: Instruments and machines: Electronic computers. Computer science | Science: Mathematics: Analytic mechanics

Publisher's keywords: formalization, verification, checking, reasoning

Language of fulltext: English

Full-text formats available: PDF

 

PUBLICATION CHARGES

Article Processing Charges (APCs): No.

Submission Charges: No.

Waiver policy for charges? No.

EDITORIAL INFORMATION

Blind peer review

Editorial Board

Aims and scope

Instructions for authors

Time From Submission to Publication: 25 weeks

 
 

OPEN ACCESS & LICENSING

Type of License: CC BY

License terms

Open Access Statement

Year Open Access Content Began: 2008

Does the author retain unrestricted copyright? True

Does the author retain publishing rights? True

BEST PRACTICE POLICIES

Permanent article identifier: DOI

Content digitally archived in: A national library: Biblioteche Nazionali Centrali di Roma e Firenze - Magazzini Digitali

Deposit policy registered in: Sherpa/Romeo

Electronically embedded licenses? Yes

Tables of Contents