Zachary Ernst

According to our database, Zachary Ernst authored at least 3 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Toward a Procedure for Data Mining Proofs.

Zachary Ernst, Seth Kurtenbach

Proceedings of the Automated Reasoning and Mathematics, 2013

2007

Collective Action as Individual Choice.

Zachary Ernst, Sara Rachel Chant

Stud Logica, 2007

2002

Shortest Axiomatizations of Implicational S4 and S5.

Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos

Notre Dame J. Formal Log., 2002