To access the full text documents, please follow this link: http://hdl.handle.net/10256/8404
Title: | An Efficient Nominal Unification Algorithm |
---|---|
Author: | Levy, Jordi; Villaret i Ausellé, Mateu |
Abstract: | |
Subject(s): | -Algorismes computacionals -Computer algorithms -Lògica matemàtica -Logic, Symbolic and mathematical -Complexitat computacional -Computational complexity |
Rights: | Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Document type: | Article Article - Published version |
Published by: | Dagstuhl Publishing |
Share: |