Proximity-Based Unification: An Efficient Implementation Method
- Julian-Iranzo, P.
- Saenz-Perez, F.
ISSN: 1941-0034, 1063-6706
Año de publicación: 2021
Volumen: 29
Número: 5
Páginas: 1238-1251
Tipo: Artículo
ISSN: 1941-0034, 1063-6706
Año de publicación: 2021
Volumen: 29
Número: 5
Páginas: 1238-1251
Tipo: Artículo