Charles C. Davis
Alex C. Williams
Joslin Goh
Charlie G. Willis
Aaron M. Ellison
James H. Brusuelas
Charles C. Davis
Edith Law
Deja Vu: Characterizing Worker Reliability Using Task Consistency.
197-205
2017
HCOMP
https://doi.org/10.1609/hcomp.v5i1.13307
conf/hcomp/2017
db/conf/hcomp/hcomp2017.html#WilliamsGWEBDL17
Charles C. Davis
A note on the axiom of choice in Leśniewski's ontology.
35-43
1976
17
Notre Dame J. Formal Log.
1
https://doi.org/10.1305/ndjfl/1093887423
https://www.wikidata.org/entity/Q114598273
db/journals/ndjfl/ndjfl17.html#Davis76
Charles C. Davis
Vaughn R. McKim
Temporal modalities and the future.
233-238
1976
17
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093887526
db/journals/ndjfl/ndjfl17.html#DavisM76
Charles C. Davis
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice.
145-184
1975
16
Notre Dame J. Formal Log.
2
https://doi.org/10.1305/ndjfl/1093891699
https://www.wikidata.org/entity/Q114598233
db/journals/ndjfl/ndjfl16.html#Davis75
Charles C. Davis
Erratum: "An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice".
608
1975
16
Notre Dame J. Formal Log.
4
http://projecteuclid.org/euclid.ndjfl/1093891910
db/journals/ndjfl/ndjfl16.html#Davis75a
Charles C. Davis
Some semantically closed languages.
229-240
1974
3
J. Philos. Log.
3
https://doi.org/10.1007/BF00247224
db/journals/jphil/jphil3.html#Davis74
James H. Brusuelas
Aaron M. Ellison
Joslin Goh
Edith Law
Vaughn R. McKim
Alex C. Williams
Charlie G. Willis