A Transformation-based implementation for CLP with qualification and proximity

  1. Caballero, R.
  2. Rodríguez-Artalejo, M.
  3. Romero-Díaz, C.A.
Revista:
Theory and Practice of Logic Programming

ISSN: 1471-0684,  1475-3081

Ano de publicación: 2014

Volume: 14

Número: 1

Páxinas: 1-63

Tipo: Artigo

DOI: 10.1017/S1471068412000014 GOOGLE SCHOLAR
Fonte de datos: Scopus