{rfName}
Mo

Indexat a

Citacions

12

Altmetrics

Anàlisi d'autories institucional

Alpuente, MAutor (correspondència)Escobar, SAutor o coautorIborra, JAutor o coautor

Compartir

31 d’octubre de 2024
Publicacions
>
Article
No

Modular Termination of Basic Narrowing and Equational Unification

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

Autors:

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

Afiliacions

Univ Politecn Valencia - Autor o coautor

Resum

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

Paraules clau

Basic narrowingCompletenessEquational unificationModularityTermTermination

Indicis de qualitat

Impacte bibliomètric. Anàlisi de la contribució i canal de difusió

El treball ha estat publicat a la revista LOGIC JOURNAL OF THE IGPL a causa de la seva progressió i el bon impacte que ha aconseguit en els últims anys, segons l'agència Scopus (SJR), s'ha convertit en una referència en el seu camp. A l'any de publicació del treball, 2010, es trobava a la posició , aconseguint així situar-se com a revista Q1 (Primer Cuartil), en la categoria Philosophy.

Independentment de l'impacte esperat determinat pel canal de difusió, és important destacar l'impacte real observat de la pròpia aportació.

Segons les diferents agències d'indexació, el nombre de citacions acumulades per aquesta publicació fins a la data 2026-04-04:

  • WoS: 6
  • Scopus: 6
[+]

Impacte i visibilitat social

Des de la dimensió d'influència o adopció social, i prenent com a base les mètriques associades a les mencions i interaccions proporcionades per agències especialitzades en el càlcul de les denominades "Mètriques Alternatives o Socials", podem destacar a data 2026-04-04:

  • L'ús d'aquesta aportació en marcadors, bifurcacions de codi, afegits a llistes de favorits per a una lectura recurrent, així com visualitzacions generals, indica que algú està fent servir la publicació com a base del seu treball actual. Això pot ser un indicador destacat de futures cites més formals i acadèmiques. Aquesta afirmació està avalada pel resultat de l'indicador "Capture", que aporta un total de: 3 (PlumX).
[+]

Anàlisi del lideratge dels autors institucionals

Hi ha un lideratge significatiu, ja que alguns dels autors pertanyents a la institució apareixen com a primer o últim signant, es pot apreciar en el detall: Primer Autor (Alpuente Frasnedo, María) i Últim Autor (Iborra Posadas, Joaquim).

l'autor responsable d'establir les tasques de correspondència ha estat Alpuente Frasnedo, María.

[+]