We're sorry but ourresearch-website-2 doesn't work properly without JavaScript enabled. Please enable it to continue.
OpenAlex
Log in
Sign up
back
Journal of Formalized Reasoning
Source
View works
ISSN
1972-5787
Source type:
journal
Publisher:
University of Bologna
Fully open access:
Yes
In DOAJ:
Yes
2yr mean citedness:
H-index:
5
I10-index:
4
Works count:
20
Citations count:
379
Top works
View all
Mizar in a Nutshell
2010
·
Adam Grabowski
, Artur Korniłowicz
, et al.
·
Journal of Formalized Reasoning
Cited by 152
Sets in Coq, Coq in Sets
2010
·
Bruno Barras
·
Journal of Formalized Reasoning
Cited by 47
A Page in Number Theory
2008
·
Andrea Asperti
, Cristian Armentano
·
Journal of Formalized Reasoning
Cited by 11
Key stats
year
open access
topic
type
