Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Ítem | Recercat - Anti-unification for unranked terms and hedges

Ítem


Anti-unification for unranked terms and hedges

Springer Verlag

Director: Ministerio de Economía y Competitividad (Espanya)
Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca
Data: 1 juny 2018
Accés al document: http://hdl.handle.net/2072/313415
Editor: Springer Verlag
Drets: Attribution 3.0 Spain
URI Drets: http://creativecommons.org/licenses/by/3.0/es/
Matèria: Algorismes computacionals
Computer algorithms
Lògica matemàtica
Logic, Symbolic and mathematical
Complexitat computacional
Computational complexity
Títol: Anti-unification for unranked terms and hedges
Tipus: info:eu-repo/semantics/article
Repositori: Recercat

Matèries


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Autors


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32


Warning: fopen(/dades/dugi/cache/654719451af00e2262e3214b5c365dfb_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2

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