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.
Discussions
No Discussions have been published for this article.