Item


An Efficient Nominal Unification Algorithm

Dagstuhl Publishing

Date: 2018 June 1
Document access: http://hdl.handle.net/2072/312167
Publisher: Dagstuhl Publishing
Rights: Attribution-NonCommercial-NoDerivs 3.0 Spain
Rights URI: http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Subject: Algorismes computacionals
Computer algorithms
Lògica matemàtica
Logic, Symbolic and mathematical
Complexitat computacional
Computational complexity
Title: An Efficient Nominal Unification Algorithm
Type: info:eu-repo/semantics/article
Repository: Recercat

Subjects

Authors