Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Escobar, Santiago
and
Sapiña, Julia
2019.
Most General Variant Unifiers.
Electronic Proceedings in Theoretical Computer Science,
Vol. 306,
Issue. ,
p.
154.
Aparicio-Sánchez, Damián
Escobar, Santiago
and
Sapiña, Julia
2020.
Variant-based Equational Unification under Constructor Symbols.
Electronic Proceedings in Theoretical Computer Science,
Vol. 325,
Issue. ,
p.
38.
Alpuente, María
Ballis, Demis
Escobar, Santiago
and
Sapiña, Julia
2022.
Logic-Based Program Synthesis and Transformation.
Vol. 13474,
Issue. ,
p.
44.
Escobar, Santiago
López-Rueda, Raúl
and
Sapiña, Julia
2023.
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.
p.
14.
Frontull, Samuel
Meitinger, Manuel
and
Moser, Georg
2026.
Frontiers of Combining Systems.
Vol. 15979,
Issue. ,
p.
228.
Discussions
No Discussions have been published for this article.