Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Heineman, George T. Contributor Ramsdell, John D. Publisher Worcester Polytechnic Institute Year 2015

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

Limit your search