Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Dougherty, Daniel J. Contributor Ramsdell, John D.

1. A Framework for Exploring Finite Models

Keyword:: provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration
Creator:: Saghafi, Salman
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2015-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science