Copyright Formalities
Copyright Formalities is a legal requirement or procedural obligation that must be satisfied to acquire, maintain, or enforce copyright protection within a jurisdiction, distinguished from automatic protection systems by its conditional nature tied to compliance with prescribed formal acts such as registration, notice, or renewal.
22
Publications
602
Citations
31
Authors
15
Institutions
Publications per year
2017–2026
3
Parents
22
A logic for reasoning about digital rights
Riccardo Pucella, Vicky Weissman · 2003 · 62 citations
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz et al. · arXiv (Cornell University) · 2011 · 34 citations · Full text
1–5 of 22
31
2
h-index
2
h-index
1
h-index
1
h-index
1
h-index
1–5 of 31
15

University of Amsterdam
Amsterdam, The Netherlands
2 h-index
3 publications
288 citations
American University
Washington, United States
1 h-index
1 publications
14 citations
Bates College
Lewiston, United States
1 h-index
1 publications
33 citations

International Bar Association
London, United Kingdom
1 h-index
1 publications
135 citations
Universitat de Lleida
Lleida, Spain
1 h-index
2 publications
28 citations

Trinity College
Hartford, United States
1 h-index
1 publications
14 citations

Washington College
Chestertown, United States
1 h-index
1 publications
14 citations

University of Glasgow
Glasgow, United Kingdom
1 h-index
1 publications
14 citations
1–8 of 15
Repository · 3 publications · 52 citations
3
h-index
Repository · 1 publications · 18 citations
1
h-index
1 publications · 14 citations
1
h-index
JIPLP · 1 publications · 11 citations
1
h-index
1 publications · 48 citations
1
h-index
1–5