Item


Anti-unification for unranked terms and hedges

Springer Verlag

Manager: Ministerio de Econom铆a y Competitividad (Espanya)
Generalitat de Catalunya. Ag猫ncia de Gesti贸 d鈥橝juts 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

Subjects

Authors