Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10256/8404
Título: | An Efficient Nominal Unification Algorithm |
---|---|
Autor/a: | Levy, Jordi; Villaret i Ausellé, Mateu |
Abstract: | |
Materia(s): | -Algorismes computacionals -Computer algorithms -Lògica matemàtica -Logic, Symbolic and mathematical -Complexitat computacional -Computational complexity |
Derechos: | Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Tipo de documento: | Artículo Artículo - Versión publicada |
Editor: | Dagstuhl Publishing |
Compartir: |