Výsledky vyhledávání - "Orbe, Alejandro Ezequiel"

Autor: Areces, Carlos Eduardo, Orbe, Alejandro Ezequiel

Publikováno v: Theoretical Computer Science. 606:25-41

We present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57103a55cc3e6b7f804f5edde5640d86
https://doi.org/10.1016/j.tcs.2015.06.020

Zobrazit plný text záznamu

Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías

Autor: Orbe, Alejandro Ezequiel

Publikováno v: Repositorio Digital Universitario (UNC)
Universidad Nacional de Córdoba
instacron:UNC

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teoría

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::69560fc081d95412714f1224ee1c8599

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání