scientific article; zbMATH DE number 1332632

zbMath0924.68044MaRDI QIDQ4259955

Agostino Dovier, Puri Arenas-Sánchez

Publication date: 8 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-07/A97-07.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unification algorithm

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Constructive negation and constraint logic programming with sets

This page was built for publication: