Zachary Ernst

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Association Rule Mining

Top Venues

Automated Reasoning and Mathematics

Publications

Zachary Ernst, Seth Kurtenbach
Toward a Procedure for Data Mining Proofs. Automated Reasoning and Mathematics (2013)
Zachary Ernst, Sara Rachel Chant
Collective Action as Individual Choice. Stud Logica 86 (3) (2007)
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Shortest Axiomatizations of Implicational S4 and S5. Notre Dame J. Formal Log. 43 (3) (2002)