Erik Wennstrom

According to our database, Erik Wennstrom authored at least 2 papers between 2012 and 2014.

Collaborative distances:

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

2014

Tableau-Based Model Generation for Relational Syllogistic Logics.

Erik Wennstrom

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

2012

A Complete Logical System for the Equality of Recursive Terms for Sets.

Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney

Proceedings of the Logic and Program Semantics, 2012