Proper Classes
Proper Classes is a collection in set theory that is too large to be a set, distinguished by its inability to be an element of other collections and its definition via a formula in the language of set theory.
61
Publications
2.6K
Citations
118
Authors
84
Institutions
Publications per year
2017–2026
12
Parents
61
Insights into regression testing (software testing)
Hareton Leung, Lee White · 2003 · 184 citations
Logic programs as types for logic programs
Thom Frühwirth, Ehud Shapiro, Moshe Y. Vardi et al. · 2002 · 152 citations
Computing, Computer Science, Logic +15
The YAGO-NAGA approach to knowledge discovery
Gjergji Kasneci, Maya Ramanath, Fabian M. Suchanek et al. · ACM SIGMOD Record · 2009 · 104 citations
1–5 of 61
118
2
h-index
2
h-index
2
h-index
2
h-index
2
h-index
1–5 of 118
84
Charles University
Prague, Czechia
4 h-index
5 publications
309 citations
University of California, Berkeley
Berkeley, United States
4 h-index
4 publications
129 citations
Carnegie Mellon University
Pittsburgh, United States
3 h-index
9 publications
431 citations
Université Libre de Bruxelles
Brussels, Belgium
3 h-index
3 publications
132 citations
Northwest Normal University
Lanzhou, China
2 h-index
3 publications
54 citations

École Normale Supérieure de Lyon
Lyon, France
2 h-index
2 publications
87 citations

Babeș-Bolyai University
Cluj-Napoca, Romania
2 h-index
2 publications
66 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
2 h-index
2 publications
109 citations
1–8 of 84
7 publications · 132 citations
7
h-index
TRAN · 4 publications · 152 citations
4
h-index
2 publications · 110 citations
2
h-index
JAA · 2 publications · 66 citations
2
h-index
Repository · 2 publications · 67 citations
2
h-index
1–5