Index Catalog // Hyrax

Borrar filtros

Filtrado por: Palabra clave first-order logic

A Framework for Exploring Finite Models

Palabra clave:

provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration

Creador:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Fecha de Creacion:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science