"Selective Unification in (Constraint) Logic Programming."

Fred Mesnard, Étienne Payet, Germán Vidal (2020)

Details and statistics

DOI: 10.3233/FI-2020-1993

access: closed

type: Journal Article

metadata version: 2022-06-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics