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


Warning: Unknown: write failed: No space left on device (28) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0