{rfName}
Mo

Indexado en

Citaciones

12

Altmetrics

Investigadores/as Institucionales

Alpuente, MAutor (correspondencia)Escobar, SAutor o CoautorIborra, JAutor o Coautor

Compartir

31 de octubre de 2024
Publicaciones
>
Artículo
No

Modular Termination of Basic Narrowing and Equational Unification

Publicado en: LOGIC JOURNAL OF THE IGPL. 4 (1): 1-32 - 2010-01-01 4(1), DOI: 10.1093/jigpal/jzq009

Autores:

M. Alpuente; S. Escobar; J. Iborra
[+]

Afiliaciones

Univ Politecn Valencia - Autor o Coautor

Resumen

Basic narrowing is a restricted form of narrowing which constrains narrowing steps to a set of unblocked (or basic) positions. In this work, we study the modularity of termination of basic narrowing in hierarchical combinations of TRSs, which provides new algorithmic criteria to prove termination of basic narrowing. Basic narrowing has a number of important applications including equational unification in canonical theories. Another application is analyzing termination of narrowing by checking the termination of basic narrowing, as done in pioneering work by Hullot. As a particularly interesting application, we consider solving equations modulo a theory that is given by a TRS, and then distill a number of modularity results for the decidability of equational unification via the modularity of basic narrowing (completeness and) termination.
[+]

Palabras clave

Basic narrowingCompletenessEquational unificationModularityTermTermination

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista LOGIC JOURNAL OF THE IGPL debido a la progresión y el buen impacto que ha alcanzado en los últimos años, según la agencia Scopus (SJR), se ha convertido en una referencia en su campo. En el año de publicación del trabajo, 2010, se encontraba en la posición , consiguiendo con ello situarse como revista Q1 (Primer Cuartil), en la categoría Philosophy.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-04:

  • WoS: 6
  • Scopus: 6
[+]

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2026-04-04:

  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 3 (PlumX).
[+]

Análisis de liderazgo de los autores institucionales

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (Alpuente Frasnedo, María) y Último Autor (Iborra Posadas, Joaquim).

el autor responsable de establecer las labores de correspondencia ha sido Alpuente Frasnedo, María.

[+]