Copyleft Licenses
Copyleft Licenses is a type of software license that permits derivative works and redistribution under the condition that the same rights and freedoms are preserved in downstream versions, thereby ensuring that modifications and extensions remain freely available and open.
20
Publications
549
Citations
47
Authors
23
Institutions
Publications per year
2017–2026
6
Parents
20
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz et al. · arXiv (Cornell University) · 2011 · 34 citations · Full text
1–5 of 20
47
2
h-index
1
h-index
National Center for Chronic Disease Prevention and Health Promotion, United States
1 publications · 14 citations
1
h-index
1 publications · 17 citations
1
h-index
1
h-index
1–5 of 47
23
University of California, Berkeley
Berkeley, United States
2 h-index
2 publications
34 citations

Delft University of Technology
Delft, The Netherlands
1 h-index
2 publications
50 citations

Chinese Academy of Sciences
Beijing, China
1 h-index
7 publications
105 citations
Texas A&M University
College Station, United States
1 h-index
1 publications
30 citations

University of Calgary
Calgary, Canada
1 h-index
1 publications
18 citations
Institute of Information Engineering
Beijing, China
1 h-index
7 publications
105 citations
Friedrich-Alexander-Universität Erlangen-Nürnberg
Erlangen, Germany
1 h-index
3 publications
54 citations
University of Chinese Academy of Sciences
Beijing, China
1 h-index
4 publications
60 citations
1–8 of 23
2 publications · 99 citations
2
h-index
JIP · 1 publications · 13 citations
1
h-index
Repository · 1 publications · 17 citations
1
h-index
1 publications · 47 citations
1
h-index
1 publications · 18 citations
1
h-index
1–5