Búsqueda avanzada

Resultados de búsqueda para Invariant-free

Invariant-Free Clausal Temporal Resolution

We provide an extended abstract of the paper with the same title and authors that is going to appear in Journal of Automated Reasoning (Online from December 2th, 2011).

Autores: J. Gaintzarain / M. Hermo / P. Lucio / M. Navarro / F. Orejas / 
Palabras Clave: Clausal Normal Form - Invariant-free - Resolution - Temporal Logic

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada