To access the full text documents, please follow this link: http://hdl.handle.net/10256/8403
Title: | A Variant of Higher-Order Anti-Unification |
---|---|
Author: | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret i Ausellé, Mateu |
Abstract: | |
Subject(s): | -Algorismes computacionals -Computer algorithms -Lògica matemàtica -Logic, Symbolic and mathematical |
Rights: | Attribution 3.0 Spain
http://creativecommons.org/licenses/by/3.0/es/ |
Document type: | Article Article - Published version |
Published by: | Dagstuhl Publishing |
Share: |