DUGi: Item | Recercat - Anti-unification for unranked terms and hedges

Item

Manager:	Ministerio de Economía y Competitividad (Espanya) Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca
Date:	2018 June 1
Document access:	http://hdl.handle.net/2072/313415
Publisher:	Springer Verlag
Rights:	Attribution 3.0 Spain
Rights URI:	http://creativecommons.org/licenses/by/3.0/es/
Subject:	Algorismes computacionals Computer algorithms Lògica matemàtica Logic, Symbolic and mathematical Complexitat computacional Computational complexity
Title:	Anti-unification for unranked terms and hedges
Type:	info:eu-repo/semantics/article
Repository:	Recercat