English   español  

Navegación por Autor Villaret, Mateu

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 17 a 19 de 19 < Anterior 
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
openAccessTerm_graph.pdf.jpg9-jul-2018Term-graph anti-unificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateucomunicación de congreso
openAccessLNCS9321_221-229.pdf.jpg2015The Complexity of 3-Valued Lukasiewicz RulesBofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateucomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2008The complexity of monadic second-order unificationLevy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateuartículo