Erik Wennstrom

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Relational Learning

Epistemic Logic

Relational Queries

Expressive Power

Top Venues

Logic and Program Semantics

Publications

Erik Wennstrom
Tableau-Based Model Generation for Relational Syllogistic Logics. ISAIM (2014)
Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney
A Complete Logical System for the Equality of Recursive Terms for Sets. Logic and Program Semantics (2012)