5
Publications
123
Citations
5
H-Index
2007
Active since
Affiliations
Clifton Ealy is an author at Western Illinois University specializing in formal methods, engineering, and automated reasoning.
Publications per year
2007–2019
5
5
Clifton Ealy, Alf Onshuus · Journal of Symbolic Logic · 2007 · 46 citations
Thorn-forking in continuous logic
Clifton Ealy, Isaac Goldbring · Journal of Symbolic Logic · 2012 · 22 citations · Full text
Applied Logic, Computational Logic, Paraconsistent Logic +13
Rows per page
1–5 of 5