Navegación

Búsqueda

Búsqueda avanzada

Invariant-Free Clausal Temporal Resolution

Resumen:

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).

Palabras Clave:

Clausal Normal Form - Invariant-free - Resolution - Temporal Logic

Autor(es):

  • J. Gaintzarain {}
    The University of the Basque Country, 48012-Bilbao, Spain
  • M. Hermo {}
    The University of the Basque Country, 20080-San Sebastián, Spain
  • P. Lucio {}
    The University of the Basque Country, 20080-San Sebastián, Spain
  • M. Navarro {}
    The University of the Basque Country, 20080-San Sebastián, Spain
  • F. Orejas {}
    Technical University of Catalonia, 08034-Barcelona, Spain

Handle:

11705/PROLE/2012/019

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.