Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Ventura, Pablo"'
This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of definable r
Externí odkaz:
http://arxiv.org/abs/2303.17017
Autor:
Ranchero Ventura, Pablo1 pablo.rventura@coltlax.edu.mx
Publikováno v:
Espiral. sep-dic2024, Vol. 31 Issue 91, p79-113. 35p.
In this article we formally define and investigate the computational complexity of the Definability Problem for open first-order formulas (i.e., quantifier free first-order formulas) with equality. Given a logic $\mathbf{\mathcal{L}}$, the $\mathbf{\
Externí odkaz:
http://arxiv.org/abs/1904.04637
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 March 2020 348:23-41
Publikováno v:
In Fisioterapia November-December 2019 41(6):305-313
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Enciso Roca, Edwin Carlos, Aguilar Felices, Enrique Javier, Común Ventura, Pablo Williams, Tinco Jayo, Johnny Aldo
Publikováno v:
Revista de la Sociedad Química del Perú; jul-set2021, Vol. 87 Issue 3, p207-216, 10p
Autor:
Segarra Ventura, Pablo
Publikováno v:
Repositorio Digital de la Universidad Politécnica de Cartagena
instname
instname
La corrosión en un barco es un problema de vital importancia, puesto que puede causar posibles desgastes en la estructura del barco así como grietas en el casco, dando como resultado la introducción de agua hacia el interior de la nave, pudiendo c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55672ca07b313700ade89ffd64067ff8
https://hdl.handle.net/10317/4873
https://hdl.handle.net/10317/4873
Autor:
Javier Aguilar-Felices, Enrique, Romero-Viacava, Marta, Enciso-Roca, Edwin, Herrera-Calderon, Oscar, Común-Ventura, Pablo, Ángel Yuli-Posadas, Ricardo, Chacaltana-Ramos, Luz, Pari-Olarte, Bertha
Publikováno v:
Pharmacognosy Journal; May/Jun2019, Vol. 11 Issue 3, p588-593, 6p