SITE TREE
Acerca del IIIA
Departamentos
Investigación
Transferencia de tecnología
Personas
Actividades
Biblioteca
Monografías
Ven con nosotros
Nuevas Publicaciones
Unsupervised music structure annotation by time series structure features and segment similarity
Folksonomy-based tag recommendation for collaborative tagging systems
The quest for the basic fuzzy logic
A time series dissimilarity measure based on minimum jump costs
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
Efficient Operations in Feature Terms using Constraint Programming
The proof by cases property and its variants in structural consequence relations
Català
English
Español
Inicio
Contacto
Mapa Web
LOGIN
Publicaciones
Semilinear non-associative substructural logics: completeness properties and complexity
Tipo de Publicación:
Conference Paper
Autores:
Petr Cintula
;
Zuzana Haniková
;
Rostislav Horcík
;
Carles Noguera
Origen:
15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia (En prensa)
Marcado
XML
BibTex
Proyectos:
MaToMUVI
TASSAT
»
Versión para imprimir
eMail a un amigo
desarrollo web innodus