Constraint Logic Programming with Hereditary Harrop formulas
ISSN: 1471-0684
Ano de publicación: 2001
Volume: 1
Número: 4
Páxinas: 409-445
Tipo: Artigo
ISSN: 1471-0684
Ano de publicación: 2001
Volume: 1
Número: 4
Páxinas: 409-445
Tipo: Artigo