{rfName}
Mo

Indexed in

Citations

12

Altmetrics

Analysis of institutional authors

Alpuente, MCorresponding AuthorEscobar, SAuthorIborra, JAuthor

Share

October 31, 2024
Publications
>
Article
No

Modular Termination of Basic Narrowing and Equational Unification

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

Authors:

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

Affiliations

Univ Politecn Valencia - Author

Abstract

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.
[+]

Keywords

Basic narrowingCompletenessEquational unificationModularityTermTermination

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal LOGIC JOURNAL OF THE IGPL due to its progression and the good impact it has achieved in recent years, according to the agency Scopus (SJR), it has become a reference in its field. In the year of publication of the work, 2010, it was in position , thus managing to position itself as a Q1 (Primer Cuartil), in the category 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-03:

  • WoS: 6
  • Scopus: 6
[+]

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2026-04-03:

  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 3 (PlumX).
[+]

Leadership analysis of institutional authors

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (Alpuente Frasnedo, María) and Last Author (Iborra Posadas, Joaquim).

the author responsible for correspondence tasks has been Alpuente Frasnedo, María.

[+]